Formal Specification and Verification Method of Concurrent and Distributed Systems by Restricted Timed Automata.
Satoshi YamanePublished in: ARTS (1997)
Keyphrases
- model checking
- formal specification
- distributed systems
- verification method
- timed automata
- temporal logic
- concurrent systems
- specification languages
- process algebra
- object oriented design
- specification language
- distributed environment
- fault tolerant
- formal methods
- mobile agents
- load balancing
- distributed computing
- geographically distributed
- fault tolerance
- distributed database systems
- software architecture
- real time systems
- data replication
- deadlock detection
- multi agent
- asynchronous circuits
- data availability
- modal logic
- expert systems
- artificial intelligence
- software development environments