Model checking /

Autor Grumberg, Orna, 1952-, Peled, Doron A., 1962-, Clarke, E. M., 1945-
Vydáno 1999

Model checking /

Autor Clarke, E. M., 1945-, Grumberg, Orna, 1952-, Peled, Doron, 1962-, Kroening, Daniel, Veith, Helmut
Vydáno 2018

Computer aided verification : 9th International Conference, CAV '97 : Haifa, Israel, June 22-25, 1997 : proceedings /

Vydáno 1997

25 years of model checking : history, achievements, perspectives /

Vydáno 2008

Tools and algorithms for the construction and analysis of systems : 13th International Conference, TACAS 2007, held as a part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 : Braga, Portugal, March 24-April 1, 2007 : proceedings /

Vydáno 2007