Experts
3 results for "Program verification":
Patrick Lam
Expert In:
Program verification
Program
understanding
Compilers
Cybersecurity
View Profile
Arie Gurfinkel
Expert In:
Automated
program
analysis
Program
Verification
Abstract Interpretation
Application security
View Profile
Derek Rayside
Expert In:
Static and dynamic
program
analysis
Verification
Programming
languages
Cybersecurity
View Profile