Guided Integration of Formal Verification in Assurance Cases.

Irfan Sljivo Ewen Denney Jonathan Menzies

Published in: ICFEM (2023)

Keyphrases

formal verification
model checking
automated verification
model checker
bounded model checking
data integration
symbolic model checking
knowledge base
program slicing
artificial intelligence
information systems
knowledge based systems
case base
formal methods