Rewriting-Based Techniques for Runtime Verification

Introduction to automata theory, languages and computation

Mathematics and Computers in Simulation · 1981 · 10.9K citations

Computing, Computer Science, Mathematics +10

Graph-Based Algorithms for Boolean Function Manipulation

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

Computing, Computer Science, Algorithms +16

Introduction to automata theory, languages, and computation

Computer Languages · 1980 · 6.9K citations

Computing, Computer Science, Mathematics +10

The temporal logic of programs

Amir Pnueli · 1977 · 5.7K citations

Computing, Computer Science, Formal Methods +16

Eraser

Stefan Savage, Michael T. Burrows, Greg Nelson et al. · ACM Transactions on Computer Systems · 1997 · 1.6K citations · Full text

Computing, Computer Engineering, Computer Science +11