Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Handling Parameterized Systems with Non-Atomic Global Conditions Parosh Aziz Abdulla
 

Summary: Handling Parameterized Systems with Non-Atomic Global Conditions
Parosh Aziz Abdulla
Uppsala University, Sweden.
parosh@it.uu.se
Noomene Ben Henda
Uppsala University, Sweden.
Noomene.BenHenda@it.uu.se
Giorgio Delzanno
Universit`a di Genova, Italy.
giorgio@disi.unige.it
Ahmed Rezine
Uppsala University, Sweden.
Rezine.Ahmed@it.uu.se
Abstract
We consider verification of safety properties for pa-
rameterized systems with linear topologies. A process
in the system is an extended automaton, where the
transitions are guarded by both local and global con-
ditions. The global conditions are non-atomic, i.e., a
process allows arbitrary interleavings with other tran-

  

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

 

Collections: Computer Technologies and Information Sciences