6 experts in "formal verification" found:
Shiu-Kai Chin
Expert In:
Formal
verification
Computer security
Cybersecurity
Hardware-based security
View Profile
Mark Aagaard
Expert In:
Formal
verification
Application domains
Application Security
Computer architecture
View Profile
Khaled Elelithy
Expert In:
Formal
approaches for design and
verification
Computer architecture
Computer arithmetic
Computer networks
View Profile
Arie Gurfinkel
Expert In:
Formal
methods
Program
Verification
Abstract Interpretation
Application security
View Profile
John Thistle
Expert In:
Formal
synthesis
Verification
of discrete event systems
Communication and information systems
Control of discrete event systems
View Profile
Derek Rayside
Expert In:
Lightweight
formal
methods
Verification
Cybersecurity
Debugging
View Profile