Verification Of Programs Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
Chen-wei Wang
York University Canada
automated model-based verification
using model checking to verify real-time systems
formal validation
using theorem proving to verify function block based systems
product-based software certification
View Professor Profile
Professor
Professor Profile
Denise Woit
Toronto Metropolitan University Canada
software verification
validation
software testing
software reliability
View Professor Profile
Professor
Professor Profile
David Parker
University of Oxford United Kingdom
automated verification
verification
probabilistic verification
software model checking
View Professor Profile
Professor
Professor Profile
Karthik Pattabiraman
University of British Columbia Canada
software verification
software testing
dependable software
secure software
View Professor Profile
Professor
Professor Profile
Chen-wei Wang
York University Canada
automated model-based verification
formal validation
model checking
product-based software certification
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
Patrick Lam
University of Waterloo Canada
program verification
verifiable software specifications
program understanding
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
Kerstin Eder
University of Bristol United Kingdom
formal verification
verification
validation
View Professor Profile
Professor
Professor Profile
Daniel Dig
University of Illinois United States of America
verification
validation
software testing
View Professor Profile
Professor
Professor Profile
Koushik Sen
University of California, Berkeley United States of America
verification
software testing
model checking
View Professor Profile
Professor
Professor Profile
Natasha Sharygina
University of Lugano Switzerland
formal verification
program analysis
model checking
View Professor Profile
Professor
Professor Profile
Xiangyu Zhang
Purdue University United States of America
program profiling
program analysis
software reliability
View Professor Profile
Professor
Professor Profile
Corliss Bean
Brock University Canada
program evaluation
program development
program implementation
View Professor Profile
Professor
Professor Profile
Sarfraz Khurshid
University of Texas at Austin United States of America
program analysis
software testing
model checking
View Professor Profile
Professor
Professor Profile
Naser Ezzati-jivan
Brock University Canada
software tracing
software debugging
software monitoring
View Professor Profile
Professor
Professor Profile
Sarfraz Khurshid
University of Texas at Austin United States of America
program analysis
software testing
model checking
View Professor Profile
Professor
Professor Profile
Jürgen Giesl
RWTH Aachen University Germany
program verification
formal 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
Yvan Labiche
Carleton University Canada
software verification
software validation
View Professor Profile
Professor
Professor Profile
Andrzej Murawski
University of Oxford United Kingdom
software verification
automated verification
View Professor Profile
First
Prev
Page 1 | 965 Results
Next