Model-based Generation of Hazard-driven Arguments and Formal Verification Evidence for Assurance Cases.
Fang YanSimon FosterIbrahim HabliRan WeiPublished in: MODELSWARD (2022)
Keyphrases
- formal verification
- model checking
- model checker
- bounded model checking
- automated verification
- data driven
- symbolic model checking
- legal argument
- web services
- case base
- risk assessment
- graph theory
- empirical evidence
- legal cases
- training sessions
- software engineering
- program slicing
- knowledge base
- functional verification