7 experts in "formal methods" found:
Nancy Day
Expert In:
Automated
formal
methods
tools
Interactive
formal
methods
tools
View Profile
Derek Rayside
Expert In:
Lightweight
formal
methods
Cybersecurity
Debugging
Decision support
View Profile
William Farmer
Expert In:
Formal
computing
methods
View Profile
Yash Pant
Expert In:
Formal
Methods
Autonomous Systems
Control Theory
Cyber-Physical Systems
View Profile
Arie Gurfinkel
Expert In:
Formal
methods
Abstract Interpretation
Application security
Automated program analysis
View Profile
Tom Maibaum
Expert In:
Formal
methods
Contracts in electronic systems
Software architecture
Software cerification
View Profile
Jun Liu
Expert In:
Formal
methods
for control design
Applications in cyber-physical systems and robotics
Control and dynamical systems
Dynamics and control of networks
View Profile