HybridFluctuat: A Static Analyzer of Numerical Programs within a Continuous Environment
- 1 January 2009
- book chapter
- Published by Springer Nature
Abstract
No abstract availableThis publication has 8 references indexed in Scilit:
- Abstract Interpretation of Non-monotone Bi-inductive Semantic DefinitionsPublished by Springer Nature ,2008
- Integrating Physical Systems in the Static Analysis of Embedded Control SoftwarePublished by Springer Nature ,2005
- PHAVer: Algorithmic Verification of Hybrid Systems Past HyTechPublished by Springer Nature ,2005
- Static Analysis-Based Validation of Floating-Point ComputationsPublished by Springer Nature ,2004
- Benchmarks for Hybrid Systems VerificationPublished by Springer Nature ,2004
- Asserting the Precision of Floating-Point Computations: A Simple Abstract InterpreterPublished by Springer Nature ,2002
- A Case Study in Tool-Aided Analysis of Discretely Controlled Continuous Systems: The Two Tanks ProblemPublished by Springer Nature ,1999
- The algorithmic analysis of hybrid systemsTheoretical Computer Science, 1995