Publication:4551152
From MaRDI portal
zbMath0991.68541MaRDI QIDQ4551152
Tamarah Arons, Sitvanit Ruah, Amir Pnueli, Ying Xu, Lenore D. Zuck
Publication date: 4 September 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2102/21020221
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Unnamed Item, Handling Parameterized Systems with Non-atomic Global Conditions, Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems, Monotonic Abstraction in Action, Parameterised verification for multi-agent systems, Synthesis of large dynamic concurrent programs from dynamic specifications, Verification of multi-linked heaps, Parametrized invariance for infinite state processes, Lost in abstraction: monotonicity in multi-threaded programs, Sound verification procedures for temporal properties of infinite-state systems, Approximated parameterized verification of infinite-state processes with global conditions, Model checking and abstraction to the aid of parameterized systems (a survey), Formal verification of mobile robot protocols, Compositional analysis for verification of parameterized systems, Local Symmetry and Compositional Verification, Model Checking Parameterized Systems, Liveness by Invisible Invariants, Automatic Verification of Directory-Based Consistency Protocols
Uses Software