Towards a Model-Checker for Counter Systems
From MaRDI portal
Publication:3522931
DOI10.1007/11901914_36zbMath1161.68563MaRDI QIDQ3522931
Stéphane P. Demri, Govert van Drimmelen, Valentin F. Goranko, Alain Finkel
Publication date: 4 September 2008
Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11901914_36
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Automatic Verification of Counter Systems With Ranking Function, An Automata-based Approach for CTL⋆ With Constraints, A decidability result for the model checking of infinite-state systems, Verification of qualitative \(\mathbb Z\) constraints, Dense-choice counter machines revisited, Verification of gap-order constraint abstractions of counter systems, Verification of Gap-Order Constraint Abstractions of Counter Systems