Witness Runs for Counter Machines

DOI10.1007/978-3-642-40885-4_9zbMATH Open1397.68122OpenAlexW2564125057MaRDI QIDQ5891189

Stéphane P. Demri, Morgan Deters, Clark Barrett

Publication date: 20 September 2013

Published in: Frontiers of Combining Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-40885-4_9

Mathematics Subject Classification ID

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) First-order arithmetic and fragments (03F30) Temporal logic (03B44)

Related Items (1)

Shortest Paths in One-Counter Systems

Uses Software

• SMT-LIB
• z3
• TaPAS
• CVC4

This page was built for publication: Witness Runs for Counter Machines