Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2
Authors:
- 13 July 2016
- book chapter
- Published by Springer Nature
- p. 531-538
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Meeting a Powertrain Verification Challenge2015
- C2E2: A Verification Tool for Stateflow Models2015
- dReach: δ-Reachability Analysis for Hybrid Systems2015
- Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells2014
- Flow*: An Analyzer for Non-linear Hybrid Systems2013
- STRONG: A Trajectory-Based Verification Toolbox for Hybrid SystemsLecture Notes in Computer Science, 2013
- SpaceEx: Scalable Verification of Hybrid Systems2011
- Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems2010
- The d/dt Tool for Verification of Hybrid Systems2002
- Uppaal in a nutshellInternational Journal on Software Tools for Technology Transfer, 1997