Formal Verification of Medical Monitoring Software Using Z Language: A Representative Sample.
Seyed Morteza BabamirMehdi Borhani DehkordiPublished in: J. Medical Syst. (2012)
Keyphrases
- formal verification
- model checking
- model checker
- program slicing
- automated verification
- monitoring system
- real time
- intensive care units
- modeling language
- medical diagnosis
- medical care
- medical devices
- bounded model checking
- critical care
- programming language
- intensive care
- symbolic model checking
- natural language
- temporal logic
- software systems
- patient monitoring
- software development
- specification language
- medical data
- linear temporal logic
- language learning
- computer systems