Analog property checkers: a DDR2 case study

An Automata-Theoretic Approach to Automatic Program Verification

Moshe Y. Vardi, Pierre Wolper · ORBi (University of Liège) · 1986 · 1.3K citations · Full text

Computing, Computer Engineering, Computer Science +14

Recent progress in continuous and hybrid reachability analysis

Eugène Asarin, Thao Dang, Goran Frehse et al. · 2006 · 107 citations

Computing, Computer Science, Systems Engineering +17

Model checking algorithms for analog verification

Walter Hartong, Lars Hedrich, Erich Barke · Proceedings - ACM IEEE Design Automation Conference · 2002 · 68 citations

Computing, Computer Science, Electrical Engineering +15

Java PathExplorer: A Runtime Verification Tool

Klaus Havelund, Grigore Roşu, Daniel Clancy · NASA STI Repository (National Aeronautics and Space Administration) · 2001 · 67 citations · Full text

Computing, Computer Engineering, Computer Science +17

Monitoring, Checking, and Steering of Real-Time Systems

Moonjoo Kim, Insup Lee, Usa Sammapun et al. · Electronic Notes in Theoretical Computer Science · 2002 · 57 citations · Full text

Computing, Computer Science, Computer Systems +17