CHC Model Validation with Proof Guarantees.

Rodrigo Otoni Martin Blicha Patrick Eugster Natasha Sharygina

Published in: iFM (2023)

Keyphrases

model validation
linear logic
databases
theorem prover
automated theorem proving
objective function
geometry theorem proving
computer vision
decision making
multiscale
hidden markov models
mathematical proofs