Multi-Level Specification and Verification of Real-Time Software.
Armen GabrielianMatthew K. FranklinPublished in: ICSE (1990)
Keyphrases
- real time
- formal methods
- formal verification
- real time systems
- safety critical
- model checking
- reactive systems
- low cost
- software tools
- software development
- dedicated hardware
- computer systems
- control flow
- software design
- source code
- protocol specification
- software maintenance
- asynchronous circuits
- formal specification
- tool suite
- case study
- high level
- software quality
- control system
- software architecture
- requirements specification
- software systems
- test cases
- embedded systems
- highly modular
- business rules
- quality of service
- vision system
- data model
- multi agent systems
- artificial intelligence
- neural network