Toward Liveness Proofs at Scale.

Kenneth L. McMillan

Published in: CAV (1) (2024)

Keyphrases

theorem prover
expert systems
small scale
theorem proving
scale invariant
global scale
database
data mining
machine learning
artificial intelligence
search engine
image processing
knowledge representation
multiple scales
formal proofs