scientific article
From MaRDI portal
Publication:2754094
zbMath0974.68521MaRDI QIDQ2754094
Publication date: 17 December 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (14)
Compositional analysis for verification of parameterized systems ⋮ Model checking and abstraction to the aid of parameterized systems (a survey) ⋮ Spanning the spectrum from safety to liveness ⋮ Permutation rewriting and algorithmic verification ⋮ Parametrized verification diagrams: temporal verification of symmetric parametrized concurrent systems ⋮ Learning Meets Verification ⋮ Verification of duration systems using an approximation approach ⋮ Regular Model Checking using Widening Techniques ⋮ On Verifying Fault Tolerance of Distributed Protocols ⋮ Temporal prophecy for proving temporal properties of infinite-state systems ⋮ Exact Acceleration of Real-Time Model Checking ⋮ Iterating transducers ⋮ Automated formal analysis and verification: an overview ⋮ Parameterised verification for multi-agent systems
This page was built for publication:
