Keyphrases
- software development
- control system
- software maintenance
- reactive systems
- control method
- detection algorithm
- software systems
- software components
- automatic detection
- software architecture
- detection method
- detection accuracy
- control program
- formal specification
- source code
- software tools
- user interface
- computer systems
- false alarms
- petri net
- development process
- software design
- formal methods
- control flow
- formal verification
- object detection
- control unit
- test cases