Encoding TLA+ proof obligations safely for SMT.

Rosalie Defourné

Published in: Sci. Comput. Program. (2025)

Keyphrases

temporal logic
statistical machine translation
theorem prover
theorem proving
encoding scheme
encoding schemes
machine learning
case study
deontic logic
real time
knowledge base
multiresolution
probabilistic model
text classification
fractal image compression
natural deduction