Automated Technology for Verification and Analysis
From MaRDI portal
Publication:5491889
DOI10.1007/11562948zbMath1170.68519OpenAlexW4300912265MaRDI QIDQ5491889
Publication date: 10 October 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11562948
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (22)
Forward analysis and model checking for trace bounded WSTS ⋮ Equivalence Between Model-Checking Flat Counter Systems and Presburger Arithmetic ⋮ The Complexity of Reversal-Bounded Model-Checking ⋮ Petri Nets and Semilinear Sets (Extended Abstract) ⋮ Equivalence between model-checking flat counter systems and Presburger arithmetic ⋮ Trace inclusion for one-counter nets revisited ⋮ Reachability in Succinct and Parametric One-Counter Automata ⋮ On the freeze quantifier in Constraint LTL: Decidability and complexity ⋮ \(\text{Para}^2\): parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms ⋮ Reachability in Parameterized Systems: All Flavors of Threshold Automata ⋮ Forward Analysis and Model Checking for Trace Bounded WSTS ⋮ Verification of population protocols ⋮ On decidability and complexity of low-dimensional robot games ⋮ Unnamed Item ⋮ An Executable Semantics of Clock Constraint Specification Language and Its Applications ⋮ On the completeness of bounded model checking for threshold-based distributed algorithms: reachability ⋮ Iterating Octagons ⋮ Flatness and Complexity of Immediate Observation Petri Nets ⋮ Decision Problems for Finite Automata over Infinite Algebraic Structures ⋮ Unnamed Item ⋮ Model-Checking Counting Temporal Logics on Flat Structures ⋮ Taming past LTL and flat counter systems
Uses Software
This page was built for publication: Automated Technology for Verification and Analysis
