Interactive System Verification Professors in Global

Showing 21 of 1,363 results Data last updated:

Search By
Location
Location
Searching Globally
Professor
David Parker Professor Profile

David Parker

University of Oxford United Kingdom
automated verification
verification
probabilistic verification
software model checking
View Professor Profile
Professor
David Dill Professor Profile

David Dill

Stanford University United States of America
software verification
hardware verification
formal verification
View Professor Profile
Professor
Kerstin Eder Professor Profile

Kerstin Eder

University of Bristol United Kingdom
formal verification
verification
validation
View Professor Profile
Professor

Chen-wei Wang

York University Canada
using model checking to verify real-time systems
automated model-based verification
formal validation
View Professor Profile
Professor

Viktor Kuncak

École Polytechnique Fédérale de Lausanne Switzerland
systems verification
formal verification
View Professor Profile
Professor
Clark Barrett Professor Profile

Clark Barrett

Stanford University United States of America
software verification
hardware verification
View Professor Profile
Professor
Jeroen Keiren Professor Profile

Jeroen Keiren

Eindhoven University of Technology Belgium
software verification
hardware verification
View Professor Profile
Professor
Andrzej Murawski Professor Profile

Andrzej Murawski

University of Oxford United Kingdom
software verification
automated verification
View Professor Profile
Professor
Warren Hunt Professor Profile

Warren Hunt

University of Texas at Austin United States of America
hardware verification
program verification
View Professor Profile
Professor
Michalis Kokologiannakis Professor Profile

Michalis Kokologiannakis

Max Planck Institute for Software Systems Germany
software verification
automated verification testing
View Professor Profile
Professor
Randal Bryant Professor Profile

Randal Bryant

Carnegie Mellon University United States of America
software verification
formal verification
View Professor Profile
Professor
Limin Jia Professor Profile

Limin Jia

Carnegie Mellon University United States of America
formal software verification
network verification
View Professor Profile
Professor
Michael Borkowski Professor Profile

Michael Borkowski

Purdue University United States of America
software verification
interactive theorem provers
View Professor Profile
Professor
Yvan Labiche Professor Profile

Yvan Labiche

Carleton University Canada
software verification
software validation
View Professor Profile
Professor
Rob Sison Professor Profile

Rob Sison

University of New South Wales Australia
software verification
interactive theorem proving
View Professor Profile
Professor
Xujie Si Professor Profile

Xujie Si

University of Toronto Canada
automated software verification
verification
View Professor Profile
Professor

James Zheng

Macquarie University Australia
verification of software systems
testing cyber-physical systems
View Professor Profile
Professor

Necmiye Ozay

University of Michigan United States of America
system identification
verification and validation
View Professor Profile
Professor
Maribel Fernandez Professor Profile

Maribel Fernandez

King's College London United Kingdom
software verification
analysis and verification
View Professor Profile
Professor
Johannes Pohjola Professor Profile

Johannes Pohjola

University of New South Wales Australia
program verification
interactive theorem proving
View Professor Profile
Professor
Lionel Briand Professor Profile

Lionel Briand

University of Ottawa Canada
software verification
validation
View Professor Profile
First
Prev
Page 1 | 1363 Results
Next