The Power of Hybrid Acceleration

DOI10.1007/11817963_40zbMath1188.68169OpenAlexW1787536085MaRDI QIDQ5756730

Frédéric Herbreteau, Bernard Boigelot

Publication date: 5 September 2007

Published in: Computer Aided Verification (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items

Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space, Applying abstract acceleration to (co-)reachability analysis of reactive programs, Convex Hull of Arithmetic Automata, Fair Termination for Parameterized Probabilistic Concurrent Systems, Don't care words with an application to the automata-based approach for real addition, Flat Petri nets (invited talk)

Uses Software

• FAST
• LASH