Deadlock checking by a behavioral effect system for lock handling

Model checking

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

Computer-aided verification of coordinating processes: The automata-theoretic approach

Computers & Mathematics with Applications · 1995 · 793 citations

Computing, Computer Science, Formal Methods +12

RacerX

Dawson Engler, Ken Ashcraft · ACM SIGOPS Operating Systems Review · 2003 · 664 citations

Computing, Computer Science, Computer Systems +16

Ownership types for safe programming

Chandrasekhar Boyapati, Robert Lee, Martin Rinard · 2002 · 571 citations

Computing, Computer Science, Data Structures +16

An algebraic definition of simulation between programs

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

Computing, Computer Science, Algorithms +11