Arms Control Verification Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
David Dill
Stanford University United States of America
hardware verification
software verification
formal verification
View Professor Profile
Professor
Professor Profile
David Parker
University of Oxford United Kingdom
automated verification
verification
probabilistic verification
View Professor Profile
Professor
Professor Profile
Andrzej Murawski
University of Oxford United Kingdom
automated verification
software verification
View Professor Profile
Professor
Professor Profile
Jeroen Keiren
Eindhoven University of Technology Belgium
hardware verification
software verification
View Professor Profile
Professor
Professor Profile
Clark Barrett
Stanford University United States of America
hardware verification
software verification
View Professor Profile
Professor
Professor Profile
Warren Hunt
University of Texas at Austin United States of America
hardware verification
program verification
View Professor Profile
Professor
Professor Profile
Michalis Kokologiannakis
Max Planck Institute for Software Systems Germany
automated verification testing
software verification
View Professor Profile
Professor
Professor Profile
Xujie Si
University of Toronto Canada
automated software verification
verification
View Professor Profile
Professor
Professor Profile
Viktor Kuncak
École Polytechnique Fédérale de Lausanne Switzerland
systems verification
formal verification
View Professor Profile
Professor
Professor Profile
Kerstin Eder
University of Bristol United Kingdom
verification
formal verification
View Professor Profile
Professor
Professor Profile
Maribel Fernandez
King's College London United Kingdom
software verification
analysis and verification
View Professor Profile
Professor
Professor Profile
Randal Bryant
Carnegie Mellon University United States of America
software verification
formal verification
View Professor Profile
Professor
Professor Profile
Clare Dixon
University of Manchester United Kingdom
verification
specification verification
View Professor Profile
Professor
Professor Profile
Mark Aagaard
University of Waterloo Canada
formal verification
design verification
View Professor Profile
Professor
Professor Profile
Limin Jia
Carnegie Mellon University United States of America
network verification
formal software verification
View Professor Profile
Professor
Professor Profile
Kanianthra Chandy
California Institute of Technology United States of America
verification and validation
control
View Professor Profile
Professor
Professor Profile
Jaco Van De Pol
Aarhus University Denmark
formal verification
software specification and verification
View Professor Profile
Professor
Professor Profile
Jerry Den Hartog
Eindhoven University of Technology Belgium
formal verification
access control
View Professor Profile
Professor
Professor Profile
Necmiye Ozay
University of Michigan United States of America
verification and validation
control
View Professor Profile
Professor
Professor Profile
Juanita Caballero Villalobos
Technical University of Denmark Denmark
compliance checking
conformance checking
View Professor Profile
Professor
Professor Profile
Mikael Nybacka
KTH Royal Institute of Technology Sweden
vehicle validation
vehicle control
View Professor Profile
First
Prev
Page 1 | 575 Results
Next