Summary: An Improved Search Strategy for Lossy
Channel Systems
Parosh Aziz Abdulla
Dept. of Computer Systems
P.O. Box 325
S­751 05 Uppsala, Sweden
parosh@docs.uu.se
Mats Kindahl
Dept. of Computer Systems
P.O. Box 325
S­751 05 Uppsala, Sweden
matkin@docs.uu.se
Doron Peled
Bell Laboratories
700 Mountain Avenue
Murray Hill, NJ 07974
doron@research.bell­labs.com
Key Words: Protocol validation, lossy channels, state space reduction, safety prop­
erties.
Abstract

Source: Abdulla, Parosh Aziz - Department of Information Technology, Uppsala Universitet

Collections: Computer Technologies and Information Sciences