Ada programming language
Satisfiability Modulo Theories
SPARK
AdaCore
Ada
GNAT
A Sharp
Mathematical proof
Solver
Computing
Software engineering
Theoretical computer science