Sign in

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

Simon FosterYakoub NemouchiMario GleirscherRan WeiTim Kelly
Published in: Formal Aspects Comput. (2021)
Keyphrases
  • formal proof
  • theorem prover
  • theorem proving
  • data integration
  • inference rules
  • genetic algorithm
  • sufficient conditions
  • data fusion
  • first order logic
  • database
  • decision trees
  • three dimensional
  • multiresolution