Towards certification of TLA+ proof obligations with SMT solvers.

Stephan Merz Hernán Vanzetto

Published in: PxTP (2011)

Keyphrases

modulo theories
temporal logic
answer set programming
statistical machine translation
quantified boolean formulas
information retrieval
agent architecture
constraint solver
satisfiability modulo theories
logic programs
sat solvers
highly optimized