Proof assistants
Formal methods
Logic in computer science
Alt-Ergo
Frama-C
Theoretical computer science
Coq
Formal verification
KeY
IP