PHAVer: Algorithmic verification of hybrid systems past HyTech (2005)

by Goran Frehse
Citations:127 - 7 self

Active Bibliography

Reachability Analysis Based Circuit-Level Formal Verification – Chao Yan - 2010
Projectagon-Based Reachability Analysis for Circuit-Level Formal Verification – Chao Yan - 2011
17 Compositional Verification of Hybrid Systems using Simulation Relations – Goran Fedja Frehse - 2005
Formal Verification of C-element Circuits – Chao Yan, Florent Ouchet, Laurent Fesquet, Katell Morin-allory
1 Hybrid System Verification is not a Sinecure - The Electronic Throttle Control Case Study – Ansgar Fehnker, Bruce H. Krogh - 2004
6 Time domain verification of oscillator circuit properties – Goran Frehse, Bruce H. Krogh, Rob A. Rutenbar, Oded Maler - 2005
2 Circuit Level Verification of a High-Speed Toggle – Chao Yan, Mark R. Greenstreet
1 Coho: A Verification Tool for Circuit Verification by Reachability Analysis – Chao Yan - 2006
16 Recent progress in continuous and hybrid reachability analysis – Eugene Asarin, Thao Dang, Goran Frehse, Antoine Girard, Colas Le Guernic, Oded Maler - 2006
Reachability analysis of non-linear planar autonomous – Hallstein A. Hansen, Gerardo Schneider, Martin Steffen
5 Modeling and analysis of hybrid systems – Franjo Ivančić - 2003
2 Continuity Controlled Hybrid Automata – J. A. Bergstra, C. A. Middelburg - 2006
6 Denotational semantics of hybrid automata – Abbas Edalat, Dirk Pattinson - 2006
27 Process algebra for hybrid systems – J. A. Bergstra, C. A. Middelburg - 2003
33 Benchmarks for Hybrid Systems Verification – Ansgar Fehnker, Franjo Ivancic - 2004
12 Symbolic model checking of hybrid systems using template polyhedra – Sriram Sankaranarayanan, Thao Dang, Franjo Ivančić - 2008
32 Counter-Example Guided Predicate Abstraction of Hybrid Systems – Rajeev Alur, Thao Dang, Franjo Ivancic - 2003
3 Formal Verification of an Automotive Engine Controller in Cutoff Mode – Tiziano Villa, Howard Wong-Toi, Andrea Balluchi, Jörg Preußig, Alberto L. Sangiovanni-Vincentelli, Yosinori Watanabe - 1998
37 Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems – Edmund Clarke, Ansgar Fehnker, Zhi Han, Bruce Krogh, Joël Ouaknine, Olaf Stursberg, Michael Theobald - 2003