- Record: found
- Abstract: not found
- Book Chapter: not found
Static Analysis
Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration
other
September 2 2015
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references29
- Record: found
- Abstract: not found
- Conference Proceedings: not found
Abstract interpretation
Patrick Cousot, Radhia Cousot (1977)
- Record: found
- Abstract: not found
- Conference Proceedings: not found
Automatic discovery of linear restraints among variables of a program
Nicolas Halbwachs, Patrick Cousot (1978)
- Record: found
- Abstract: not found
- Book Chapter: not found
SpaceEx: Scalable Verification of Hybrid Systems
Goran Frehse, Colas Le Guernic, Alexandre Donzé … (2011)