Formal Methods
Formal methods uses mathematical techniques to assist with specification, design, implementation, and verification to make hardware and software systems more reliable.
Formal methods uses mathematical techniques to assist with specification, design, implementation, and verification to make hardware and software systems more reliable.
Topics
Declarative programming
Concurrency
Hardware and software verification
Model checking
Security
Theorem proving
Faculty & Researchers
Centers & Labs
Find an Expert
Journalists seeking an academic to provide expert comment or background briefing on a story should contact our marketing & communications team.
