Publication:4484481
From MaRDI portal
zbMath1012.68131MaRDI QIDQ4484481
Lenore D. Zuck, Amir Pnueli, Elad Shahar, Yonit Kesten
Publication date: 12 June 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2421/24210101.htm
68Q60: Specification and verification (program logics, model checking, etc.)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
An automatic abstraction technique for verifying featured, parameterised systems, Model checking and abstraction to the aid of parameterized systems (a survey), Temporal prophecy for proving temporal properties of infinite-state systems, Bridging the gap between fair simulation and trace inclusion, Verification of component-based systems with recursive architectures