Pushdown timed automata: a binary reachability characterization and safety verification

A theory of timed automata

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

Computing, Computer Science, Formal Methods +9

Computation: Finite and Infinite Machines.

D. A. Clarke, Marvin Minsky · American Mathematical Monthly · 1968 · 2.6K citations

Computing, Computer Science, Automation +6

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

Symbolic Model Checking for Real-Time Systems

Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis et al. · Information and Computation · 1994 · 830 citations · Full text

Computing, Computer Science, Formal Methods +16

Model-Checking in Dense Real-Time

Rajeev Alur, Costas Courcoubetis, David L. Dill · Information and Computation · 1993 · 829 citations

Computing, Computer Engineering, Computer Science +10