Isabelle/SACM: Computer-Assisted Assurance Cases with Integrated Formal Methods.
Yakoub NemouchiSimon FosterMario GleirscherTim KellyPublished in: IFM (2019)
Keyphrases
- computer assisted
- formal methods
- computer aided
- formal analysis
- intraoperative
- model checking
- safety critical
- knowledge based systems
- foreign language
- formal specification
- process algebra
- model checker
- modeling language
- theorem prover
- provably correct
- information systems
- information security
- x ray
- software engineering
- artificial intelligence
- data mining