Formal Verification of a Distributed Computer System.
Michael MerrittAriel OrdaSonia R. SachsPublished in: Formal Methods Syst. Des. (1997)
Keyphrases
- computer systems
- formal verification
- computer networks
- data processing
- model checking
- operating system
- hardware and software
- information systems
- model checker
- distributed systems
- computing systems
- bounded model checking
- distributed environment
- automated verification
- symbolic model checking
- computer architecture
- computer security
- high end
- communication systems
- intrusion detection system
- low cost
- program slicing
- information processing systems
- real world
- peer to peer
- state space
- computing environments
- computer hardware
- temporal logic
- machine learning