Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Regular Model Checking without Transducers (On Efficient Verification of Parameterized Systems)
 

Summary: Regular Model Checking without Transducers
(On Efficient Verification of Parameterized Systems)
Parosh Aziz Abdulla1
parosh@it.uu.se,
Giorgio Delzanno2
giorgio@disi.unige.it,
Noomene Ben Henda1
Noomene.BenHenda@it.uu.se, and
Ahmed Rezine1
Rezine.Ahmed@it.uu.se
1
Uppsala University, Sweden
2
Universit`a di Genova, Italy.
Abstract. We give a simple and efficient method to prove safety prop-
erties for parameterized systems with linear topologies. A process in the
system is a finite-state automaton, where the transitions are guarded by
both local and global conditions. Processes may communicate via broad-
cast, rendez-vous and shared variables. The method derives an over-
approximation of the induced transition system, which allows the use of

  

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

 

Collections: Computer Technologies and Information Sciences