Model Checking
An expanded and updated edition of a comprehensive presentation of the theory and practice of model checking, a technology that automates the analysis of complex systems. Model checking is a verification . . .
Model Checking People (First 14 people) - Page 0
Stefan Edelkamp
Author
Pierre Wolper
Rector of the University of Liège
Sven Schewe
Computer science researcher
Marta Kwiatkowska
Polish computer scientist
Doron A. Peled
Computer science researcher
Edmund M. Clarke
American computer scientist
Stephan Merz
Author
Armin Biere
German computer scientist
Arie Gurfinkel
Scott A. Smolka
Computer science researcher
Sharon Shoham
Computer scientist
Bernhard Steffen
German computer scientist
Lucca Hirschi
