Efficient verification of distributed real-time systems with broadcasting behaviors

Graph-Based Algorithms for Boolean Function Manipulation

Bryant · IEEE Transactions on Computers · 1986 · 8.9K citations · Full text

Computing, Computer Science, Algorithms +16

A theory of timed automata

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

Computing, Computer Science, Formal Methods +9

Symbolic model checking: 1020 States and beyond

Jerry R. Burch, E. M. Clarke, Kenneth L. McMillan et al. · Information and Computation · 1992 · 2.7K citations

Computing, Computer Engineering, Computer Science +12

Communicating sequential processes

Microprocessors and Microsystems · 1986 · 2.2K citations

The Esterel synchronous programming language: design, semantics, implementation

Gérard Berry, Georges Gonthier · Science of Computer Programming · 1992 · 1.7K citations · Full text

Computing, Computer Engineering, Computer Science +9