I/O Automata Based Verification of Finite State Distributed Systems: Complexity Issues (Abstract).
Sandeep K. ShuklaHarry B. Hunt IIIDaniel J. RosenkrantzS. S. RaviRichard Edwin StearnsPublished in: PODC (1996)
Keyphrases
- distributed systems
- finite state
- model checking
- concurrent systems
- transition systems
- markov chain
- fault tolerant
- distributed environment
- markov decision processes
- load balancing
- fault tolerance
- message passing
- formal verification
- distributed computing
- operating system
- model checker
- temporal logic
- geographically distributed
- deadlock detection
- mobile agents
- data replication
- real time systems
- formal methods
- action sets
- high assurance
- formal specification
- loosely coupled
- decision problems
- computational complexity
- context free
- average cost
- replicated data
- finite state transducers
- search algorithm
- distributed database systems