Automated theorem proving
Concolic testing
Software testing
Equations
Z3
Solver
Equation solving
Mathematics
Abstraction
Software engineering