Efficient Detection of Vacuity in Temporal Model Checking

Model checking

E. M. Clarke, Orna Grümberg, D. Long · 1996 · 6.9K citations

“Sometimes” and “not never” revisited

E. Allen Emerson, Joseph Y. Halpern · Journal of the ACM · 1986 · 996 citations · Full text

Computing, Computer Science, Formal Methods +14

The temporal semantics of concurrent programs

Amir Pnueli · Theoretical Computer Science · 1981 · 701 citations

Computing, Computer Science, Computer Systems +14

An algebraic definition of simulation between programs

Robin Milner · Defense Technical Information Center (DTIC) · 1971 · 533 citations

Computing, Computer Science, Algorithms +11

Model checking and modular verification

Orna Grümberg, David E. Long · ACM Transactions on Programming Languages and Systems · 1994 · 526 citations · Full text

Computing, Computer Science, Computer Systems +16