Computer Aided Verification

DOI10.1007/b11831zbMath1278.68156OpenAlexW1571340194MaRDI QIDQ5900679

Bernard Boigelot, Frédéric Herbreteau, Sébastien Jodogne

Publication date: 20 April 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b11831

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (3)

Algorithmic analysis of polygonal hybrid systems. I: Reachability ⋮ Applying abstract acceleration to (co-)reachability analysis of reactive programs ⋮ Don't care words with an application to the automata-based approach for real addition

Uses Software

• LASH

This page was built for publication: Computer Aided Verification