An approach to safety and correctness verification of software design specification.
Eun Mi KimShinji KusumotoTohru KikunoPublished in: ISSRE (1995)
Keyphrases
- software design
- uml diagrams
- formal verification
- formal methods
- provably correct
- software engineering
- safety critical
- asynchronous circuits
- software systems
- safety analysis
- model checking
- object oriented design
- software development
- protocol specification
- functional requirements
- educational software
- colored petri nets
- nuclear power plant
- face verification
- design patterns
- verification method
- workflow specification
- machine learning
- information technology
- database systems