AUTO: A Verification Tool for Distributed Systems Using Reduction of Finite Automata Networks.
Eric MadelaineDidier VergaminiPublished in: FORTE (1989)
Keyphrases
- distributed systems
- finite automata
- concurrent systems
- fault tolerant
- probabilistic automata
- distributed environment
- distributed computing
- grammatical inference
- load balancing
- fault tolerance
- regular expressions
- deterministic automata
- geographically distributed
- finite automaton
- distributed database systems
- data replication
- high assurance
- software development environments
- real time systems
- deadlock detection
- mobile agents