Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Using Forward Reachability Analysis for Verification of Lossy Channel
 

Summary: Using Forward Reachability Analysis
for Verification of Lossy Channel
Systems
Parosh Aziz Abdulla
Dept. of Computer Systems
P.O. Box 325
S751 05 Uppsala, Sweden
parosh@docs.uu.se
Aurore Annichini
VERIMAG
2 av. de Vignate
38610 Gi`eres, France
Aurore.Annichini@imag.fr
Ahmed Bouajjani
VERIMAG
2 av. de Vignate
38610 Gi`eres, France
Ahmed.Bouajjani@imag.fr
Bengt Jonsson
Dept. of Computer Systems

  

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

 

Collections: Computer Technologies and Information Sciences