Modular Verification Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
David Parker
University of Oxford United Kingdom
automated verification
probabilistic verification
verification
software model checking
probabilistic model checking
View Professor Profile
Professor
Professor Profile
Kerstin Eder
University of Bristol United Kingdom
formal verification
validation
verification
View Professor Profile
Professor
Professor Profile
Andrzej Murawski
University of Oxford United Kingdom
automated verification
software verification
View Professor Profile
Professor
Professor Profile
Viktor Kuncak
École Polytechnique Fédérale de Lausanne Switzerland
system verification
formal 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
David Dill
Stanford University United States of America
software verification
hardware verification
formal verification
View Professor Profile
Professor
Professor Profile
Michalis Kokologiannakis
Max Planck Institute for Software Systems Germany
software verification
automated verification testing
View Professor Profile
Professor
Professor Profile
Denise Woit
Toronto Metropolitan University Canada
software verification
validation
View Professor Profile
Professor
Professor Profile
Lionel Briand
University of Ottawa Canada
software verification
validation
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
Jürgen Giesl
RWTH Aachen University Germany
formal verification
program verification
View Professor Profile
Professor
Professor Profile
Yvan Labiche
Carleton University Canada
software verification
software validation
View Professor Profile
Professor
Professor Profile
Tim Willemse
Eindhoven University of Technology Belgium
software verification
model checking
View Professor Profile
Professor
Professor Profile
Jeroen Keiren
Eindhoven University of Technology Belgium
software verification
hardware verification
model checking
View Professor Profile
Professor
Professor Profile
Ansgar Fehnker
Macquarie University Australia
software verification
model checking
View Professor Profile
Professor
Professor Profile
Mark Aagaard
University of Waterloo Canada
formal verification
design verification
View Professor Profile
Professor
Professor Profile
Oleg Sokolsky
University of Pennsylvania United States of America
formal verification
model checking
View Professor Profile
Professor
Professor Profile
Nir Piterman
Chalmers University of Technology Sweden
formal verification
model checking
View Professor Profile
Professor
Professor Profile
Nir Piterman
University of Gothenburg Sweden
formal verification
model checking
View Professor Profile
Professor
Professor Profile
Anton Wijs
Eindhoven University of Technology Belgium
formal verification
model checking
View Professor Profile
Professor
Professor Profile
Craig Mclaughlin
University of New South Wales Australia
formal verification
model checking
View Professor Profile
First
Prev
Page 1 | 434 Results
Next