Counterexample-guided predicate abstraction of hybrid systems

A theory of timed automata

Rajeev Alur, David L. Dill · Theoretical Computer Science · 1994 · 6.5K citations

Computing, Computer Science, Formal Methods +9

Abstract interpretation

Patrick Cousot, Radhia Cousot · 1977 · 6.2K citations

Computing, Computer Science, Compilers +8

The quickhull algorithm for convex hulls

C. Bradford Barber, David Dobkin, Hannu Huhdanpaa · ACM Transactions on Mathematical Software · 1996 · 5.3K citations · Full text

Computing, Computer Science, Algorithms +16

The model checker SPIN

Gerard J. Holzmann · IEEE Transactions on Software Engineering · 1997 · 3.8K citations

Computing, Computer Engineering, Computer Science +12

Uppaal in a nutshell

Kim G. Larsen, Paul Pettersson, Wang Yi · International Journal on Software Tools for Technology Transfer · 1997 · 2.2K citations

Dentistry, Health Promotion, Restitution +1