Specification and verification technologies for communication software.
Masaichi KajiwaraMasaki ItohHaruhisa IchikawaPublished in: IEEE Commun. Mag. (1985)
Keyphrases
- communication technologies
- formal verification
- open systems
- formal methods
- model checking
- software tools
- software packages
- asynchronous circuits
- software architecture
- communication systems
- software development
- high level
- software systems
- tool suite
- communication networks
- software quality
- reactive systems
- hardware designs
- protocol specification
- control flow
- software design
- source code
- computing platform
- data mining
- formal specification
- software maintenance
- communication protocols
- web enabled
- information sharing
- test cases
- working environment
- information processing systems
- concurrent systems
- computer systems
- user interface
- highly modular