Transparent Treatment of for-Loops in Proofs.

Published in: The Logic of Software. A Tasting Menu of Formal Methods (2022)

Keyphrases

theorem prover
theorem proving
formal proof
neural network
real world
databases
machine learning
decision procedures
radiation therapy
real patient data
equational theories