Formal methods
Logic in computer science
Systems engineering
Theoretical computer science
Formal verification
ESC/Java
Verification
Satisfiability modulo theories