scientific article; zbMATH DE number 1796136
From MaRDI portal
Publication:4551152
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
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (18)
Formal verification of mobile robot protocols ⋮ Local Symmetry and Compositional Verification ⋮ Sound verification procedures for temporal properties of infinite-state systems ⋮ Compositional analysis for verification of parameterized systems ⋮ Model checking and abstraction to the aid of parameterized systems (a survey) ⋮ Model Checking Parameterized Systems ⋮ Synthesis of large dynamic concurrent programs from dynamic specifications ⋮ Unnamed Item ⋮ Verification of multi-linked heaps ⋮ Parametrized invariance for infinite state processes ⋮ Lost in abstraction: monotonicity in multi-threaded programs ⋮ Liveness by Invisible Invariants ⋮ Handling Parameterized Systems with Non-atomic Global Conditions ⋮ Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems ⋮ Automatic Verification of Directory-Based Consistency Protocols ⋮ Approximated parameterized verification of infinite-state processes with global conditions ⋮ Monotonic Abstraction in Action ⋮ Parameterised verification for multi-agent systems
Uses Software
This page was built for publication:
