Verifying Object-based Graph Grammars

Communication and concurrency

Wojciech Penczek · Science of Computer Programming · 1990 · 4K citations

The model checker SPIN

Gerard J. Holzmann · IEEE Transactions on Software Engineering · 1997 · 3.8K citations

Computing, Computer Engineering, Computer Science +12

Communicating sequential processes

Roger Boyle · Data Processing · 1985 · 2K citations

Patterns in property specifications for finite-state verification

Matthew B. Dwyer, George S. Avrunin, James C. Corbett · 1999 · 1.4K citations

Computing, Computer Science, Mathematics +13

Bandera

James C. Corbett, Matthew B. Dwyer, John Hatcliff et al. · 2000 · 1.1K citations · Full text

Computing, Computer Science, Formal Methods +15