Protocol Verification Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
Kerstin Eder
University of Bristol United Kingdom
verification
formal verification
validation
View Professor Profile
Professor
Professor Profile
David Dill
Stanford University United States of America
software verification
formal verification
hardware verification
View Professor Profile
Professor
Professor Profile
David Parker
University of Oxford United Kingdom
verification
automated verification
probabilistic verification
View Professor Profile
Professor
Professor Profile
Søren Christensen
Aarhus University Denmark
verification
validation
communication protocols
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
Chen-wei Wang
York University Canada
automated model-based verification
formal validation
using model checking to verify real-time systems
View Professor Profile
Professor
Professor Profile
Chen-wei Wang
York University Canada
automated model-based verification
formal validation
model checking
View Professor Profile
Professor
Professor Profile
Myrto Arapinis
University of Edinburgh United Kingdom
verification of cryptographic protocols
protocol composition
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
Jürgen Giesl
RWTH Aachen University Germany
program verification
formal 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
Clare Dixon
University of Manchester United Kingdom
verification
specification 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
Warren Hunt
University of Texas at Austin United States of America
program verification
hardware verification
View Professor Profile
Professor
Professor Profile
Hanno Nickau
University of Oxford United Kingdom
verification
security protocols
View Professor Profile
Professor
Professor Profile
Clark Barrett
Stanford University United States of America
software verification
hardware verification
View Professor Profile
Professor
Professor Profile
David Basin
ETH Zurich Switzerland
software verification
security protocols
View Professor Profile
Professor
Professor Profile
Mats Näslund
KTH Royal Institute of Technology Sweden
formal verification
protocols
View Professor Profile
Professor
Professor Profile
Andrzej Murawski
University of Oxford United Kingdom
software verification
automated verification
View Professor Profile
Professor
Professor Profile
Denise Woit
Toronto Metropolitan University Canada
software verification
validation
View Professor Profile
First
Prev
Page 1 | 482 Results
Next