Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
On the Existence of Network Invariants for Verifying Parameterized Systems \Lambda
 

Summary: On the Existence of Network Invariants for
Verifying Parameterized Systems \Lambda
Parosh Aziz Abdulla
Dept. Computer Systems
Uppsala University
P.O.Box 325
751 05 Uppsala, Sweden
parosh@docs.uu.se
Bengt Jonsson
Dept. Computer Systems
Uppsala University
P.O.Box 325,
751 05 Uppsala, Sweden
bengt@docs.uu.se
Abstract
Over the last decade, finite­state verification methods have been
developed to an impressive tool for analysis of complex programs, such
as protocols and hardware circuits. Partial­order reduction and BDD­
based symbolic model checking have been instrumental in this devel­
opment. Currently, much effort is devoted to advancing further the

  

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

 

Collections: Computer Technologies and Information Sciences