Formal Specification Verification Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
David Dill
Stanford University United States of America
formal verification
software verification
hardware verification
View Professor Profile
Professor
Professor Profile
Jaco Van De Pol
Aarhus University Denmark
formal verification
software specification and verification
formal methods
View Professor Profile
Professor
Professor Profile
Kerstin Eder
University of Bristol United Kingdom
formal verification
verification
validation
View Professor Profile
Professor
Professor Profile
George Tsiknis
University of British Columbia Canada
software verification
formal proof theory
software specification
View Professor Profile
Professor
Professor Profile
Jeroen Keiren
Eindhoven University of Technology Belgium
software verification
hardware verification
formal methods
View Professor Profile
Professor
Professor Profile
Clark Barrett
Stanford University United States of America
software verification
hardware verification
formal methods
View Professor Profile
Professor
Professor Profile
Warren Hunt
University of Texas at Austin United States of America
hardware verification
program verification
formal methods
View Professor Profile
Professor
Professor Profile
Patrick Lam
University of Waterloo Canada
program verification
verifiable software specifications
specification languages
View Professor Profile
Professor
Professor Profile
Denise Woit
Toronto Metropolitan University Canada
software verification
validation
formal methods
View Professor Profile
Professor
Professor Profile
David Parker
University of Oxford United Kingdom
automated verification
verification
probabilistic verification
View Professor Profile
Professor
Professor Profile
Søren Christensen
Aarhus University Denmark
verification
validation
software specification
View Professor Profile
Professor
Professor Profile
Jamal Bentahar
Concordia University Canada
automatic verification
validation
formal methods
View Professor Profile
Professor
Professor Profile
Ken Mcmillan
University of Texas at Austin United States of America
specification-based testing
formal methods
deductive verification
View Professor Profile
Professor
Professor Profile
Mark Aagaard
University of Waterloo Canada
formal verification
design verification
View Professor Profile
Professor
Professor Profile
Viktor Kuncak
École Polytechnique Fédérale de Lausanne Switzerland
formal verification
systems verification
View Professor Profile
Professor
Professor Profile
Randal Bryant
Carnegie Mellon University United States of America
formal verification
software verification
View Professor Profile
Professor
Professor Profile
Clare Dixon
University of Manchester United Kingdom
specification verification
verification
View Professor Profile
Professor
Professor Profile
Limin Jia
Carnegie Mellon University United States of America
formal software verification
network verification
View Professor Profile
Professor
Professor Profile
Roberto Guanciale
KTH Royal Institute of Technology Sweden
formal verification
formal methods
View Professor Profile
Professor
Professor Profile
Juergen Dingel
Queen's University Canada
formal specification
verification
View Professor Profile
Professor
Professor Profile
David Houngninou
Texas A&M University United States of America
hardware formal verification
validation
View Professor Profile
First
Prev
Page 1 | 491 Results
Next