Rewriting
Computer science
Reachability
Programming language
Modulo
Executable
Symbolic execution
Theoretical computer science
Model checking
Satisfiability modulo theories
Concurrency
Automated theorem proving
Algorithm
Discrete mathematics
Mathematics
Software