SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems
- 1 January 2008
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Reachability of Uncertain Nonlinear Systems Using a Nonlinear HybridizationLecture Notes in Computer Science, 2008
- HySAT: An efficient proof engine for bounded model checking of hybrid systemsFormal Methods in System Design, 2006
- A Fast Linear-Arithmetic Solver for DPLL(T)Lecture Notes in Computer Science, 2006
- Continuous and Interval ConstraintsPublished by Elsevier BV ,2006
- Rigorous Modeling of Hybrid Systems Using Interval Arithmetic ConstraintsLecture Notes in Computer Science, 2004
- Benchmarks for Hybrid Systems VerificationLecture Notes in Computer Science, 2004
- DPLL(T): Fast Decision ProceduresLecture Notes in Computer Science, 2004
- Beyond HyTech: Hybrid Systems Analysis Using Interval Numerical MethodsLecture Notes in Computer Science, 2000
- A machine program for theorem-provingCommunications of the ACM, 1962