Harnessing SMT Solvers for TLA+ Proofs.
Stephan MerzHernán VanzettoPublished in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2012)
Keyphrases
- modulo theories
- temporal logic
- answer set programming
- theorem proving
- satisfiability modulo theories
- collective intelligence
- theorem prover
- sat solvers
- decision procedures
- statistical machine translation
- mathematical proofs
- neural network
- natural deduction
- quantified boolean formulas
- formal proofs
- computer programs
- global constraints
- word alignment
- sat solving
- formal proof
- first order logic
- eigenvalue problems
- np complete
- evolutionary algorithm