Formal validation and verification of a medical software critical component.
Paolo ArcainiSilvia BonfantiAngelo GargantiniAtif MashkoorElvinia RiccobenePublished in: MEMOCODE (2015)
Keyphrases
- formal methods
- software components
- software development
- software systems
- requirements specification
- computer systems
- software design
- formal model
- hardware designs
- source code
- formal analysis
- software package
- medical diagnosis
- software maintenance
- data sets
- model checking
- software tools
- formal specification
- development process
- software architecture
- signature verification
- hardware design
- formal verification
- software testing
- medical imaging
- medical domain
- formal language
- open source
- medical treatment
- artificial intelligence