Towards a Model-Checker for Counter Systems
From MaRDI portal
Publication:3522931
DOI10.1007/11901914_36zbMath1161.68563OpenAlexW1834360724MaRDI 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
Related Items
Verification of Gap-Order Constraint Abstractions of Counter Systems ⋮ Verification of gap-order constraint abstractions of counter systems ⋮ A decidability result for the model checking of infinite-state systems ⋮ Verification of Flat FIFO Systems ⋮ Verification of qualitative \(\mathbb Z\) constraints ⋮ Automatic Verification of Counter Systems With Ranking Function ⋮ An Automata-based Approach for CTL⋆ With Constraints ⋮ Dense-choice counter machines revisited ⋮ Unnamed Item
This page was built for publication: Towards a Model-Checker for Counter Systems