Model checking
People tagged with Model checking.
3 profiles
Science
Joseph Sifakis
Greek-French computer scientist who independently pioneered model checking
Born 1946
Science
Edmund M. Clarke
Co-inventor of model checking, used to verify chips and software
1945 – 2020
Science
E. Allen Emerson
Co-inventor of model checking and Turing Award winner
1954 – 2024