scientific article; zbMATH DE number 1927557

MaRDI QIDQ4484481zbMATH OpenFDO

Authors Yonit Kesten, Amir Pnueli, E. Shahar, Lenore D. Zuck

Publication date 12 June 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2421/24210101.htm

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Inferring Network Invariants Automatically
• Network invariants for real-time systems
• Network invariants for real-time systems
• scientific article; zbMATH DE number 4076636
• Invariants in automata networks
• Networks and stability
• Network robustness and random processes
• S- and T-invariants in cyber net systems
• Network dynamics as an inverse problem
• Networks and farsighted stability

Cited in

(7)

• Model checking and abstraction to the aid of parameterized systems (a survey)
• Parameterized verification of linear networks using automata as invariants
• 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
• Computer Science Logic
• An automatic abstraction technique for verifying featured, parameterised systems

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4484481)