A Methodology based on Formal Methods for Thermal Ablation Area Detection.
Luca BruneseFrancesco MercaldoAntonella SantoneGiuseppe Peter VanoliPublished in: BIOINFORMATICS (2021)
Keyphrases
- formal methods
- formal analysis
- thermal images
- formal specification
- safety critical
- software engineering
- detection method
- model checker
- provably correct
- artificial intelligence
- model checking
- knowledge based systems
- process algebra
- development lifecycle
- detection algorithm
- information systems
- temporal properties
- reactive systems
- intraoperative
- open source
- modeling language
- object detection
- expert systems