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