Assessing traditional verification's effectiveness on safety-critical software systems.
Lon D. GowenJames S. CollofelloPublished in: J. Syst. Softw. (1994)
Keyphrases
- software systems
- safety critical
- embedded systems
- software intensive systems
- formal methods
- software engineering
- safety analysis
- source code
- software maintenance
- software development
- software architecture
- software components
- fault tolerant
- metamodel
- model checking
- software evolution
- multi agent systems
- support systems
- real time
- query language
- agent architecture
- multi agent
- e learning
- linux kernel
- information systems
- complex software systems
- databases