Automation for Exception Freedom Proofs.

Bill J. Ellis Andrew Ireland

Published in: ASE (2003)

Keyphrases

theorem prover
theorem proving
formal proof
mathematical proofs
exception handling
artificial intelligence
database systems
formal proofs
databases
machine learning
image segmentation
industrial automation
process automation
equational theories