Formal Specification Verification Professors in Global

Showing 21 of 489 results Data last updated:

Search By
Location
Location
Searching Globally
Professor

Jaco Van De Pol

Aarhus University Denmark
formal verification
software specification and verification
formal methods
View Professor Profile
Professor
David Dill Professor Profile

David Dill

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

Kerstin Eder

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

George Tsiknis

University of British Columbia Canada
software verification
formal proof theory
software specification
View Professor Profile
Professor
Clark Barrett Professor Profile

Clark Barrett

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

Jeroen Keiren

Eindhoven University of Technology Belgium
software verification
hardware verification
formal methods
View Professor Profile
Professor
Warren Hunt Professor Profile

Warren Hunt

University of Texas at Austin United States of America
hardware verification
program verification
formal methods
View Professor Profile
Professor

Patrick Lam

University of Waterloo Canada
program verification
verifiable software specifications
specification languages
View Professor Profile
Professor
David Parker Professor Profile

David Parker

University of Oxford United Kingdom
automated verification
verification
probabilistic verification
View Professor Profile
Professor

Denise Woit

Toronto Metropolitan University Canada
software verification
validation
formal methods
View Professor Profile
Professor
Ken Mcmillan Professor Profile

Ken Mcmillan

University of Texas at Austin United States of America
specification-based testing
formal methods
deductive verification
View Professor Profile
Professor

Søren Christensen

Aarhus University Denmark
verification
validation
software specification
View Professor Profile
Professor
Jamal Bentahar Professor Profile

Jamal Bentahar

Concordia University Canada
automatic verification
validation
formal methods
View Professor Profile
Professor
Mark Aagaard Professor Profile

Mark Aagaard

University of Waterloo Canada
formal verification
design verification
View Professor Profile
Professor
Randal Bryant Professor Profile

Randal Bryant

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

Viktor Kuncak

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

Clare Dixon

University of Manchester United Kingdom
specification verification
verification
View Professor Profile
Professor
Roberto Guanciale Professor Profile

Roberto Guanciale

KTH Royal Institute of Technology Sweden
formal verification
formal methods
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
David Houngninou Professor Profile

David Houngninou

Texas A&M University United States of America
hardware formal verification
validation
View Professor Profile
Professor
Juergen Dingel Professor Profile

Juergen Dingel

Queen's University Canada
formal specification
verification
View Professor Profile
First
Prev
Page 1 | 489 Results
Next