Summary: Using Forward Reachability Analysis
for Verication of Lossy Channel
Systems
Parosh Aziz Abdulla
Dept. of Information Technology
Uppsala University
Sweden
Aurore Annichini
VERIMAG
Grenoble
France
Ahmed Bouajjani
LIAFA
University of Paris 7
France
Bengt Jonsson
Dept. of Information Technology
Uppsala University
Sweden
Abstract

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

Collections: Computer Technologies and Information Sciences