Specification and Verification of Switching Software.
Masaichi KajiwaraHaruhisa IchikawaMasaki ItohYasuyuki YoshidaPublished in: IEEE Trans. Commun. (1985)
Keyphrases
- formal methods
- formal verification
- software systems
- asynchronous circuits
- software tools
- computer systems
- model checking
- user interface
- software components
- reactive systems
- high level
- software development
- software architecture
- test case generation
- tool suite
- control flow
- software design
- formal specification
- source code
- requirements specification
- highly modular
- protocol specification
- neural network
- verification method
- software package
- embedded systems
- development process
- open source
- genetic algorithm