Interactive verification of communication software on the basis of CIL.
Heiko KrummOswald DrobnikPublished in: Comput. Commun. Rev. (1984)
Keyphrases
- graphic user interface
- software development
- communication overhead
- software design
- communication technologies
- open systems
- computer systems
- source code
- communication patterns
- software systems
- communication networks
- graphical user interfaces
- multi agent
- information sharing
- software architecture
- test cases
- formal methods
- data sets
- hardware designs
- control center
- user interface
- user interaction
- software package
- multi party
- model checking
- design tools
- software developers
- real time
- user friendly