A Formal Verification of Safe Update Point Detection in Dynamic Software Updating.
Razika LounasNisrine JafriAxel LegayMohamed MezghicheJean-Louis LanetPublished in: CRiSIS (2016)
Keyphrases
- formal verification
- dynamically updated
- model checking
- program slicing
- model checker
- detection algorithm
- automatic detection
- dynamic environments
- automated verification
- false positives
- software maintenance
- detection accuracy
- software systems
- software development
- symbolic model checking
- software components
- false alarms
- software design
- expert systems
- user interface
- object detection
- source code
- formal methods
- modeling language
- temporal logic
- artificial intelligence
- development process
- detection rate
- detection method
- computer systems