Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM.

Simon Foster Yakoub Nemouchi Mario Gleirscher Ran Wei Tim Kelly

Published in: CoRR (2020)

Keyphrases

formal proof
theorem prover
first order logic
inference rules
data mining
data integration
theorem proving
real world
artificial intelligence
computer vision
information systems
case base