Formal Methods

Research Frontiers in Deductive Verification of Concurrent Algorithms

Development of proof rules and proof assistants for reasoning about lock-free and wait-free concurrent algorithm correctness.

All Formal Methods PhD categories