Automatic Effective Verification Method for Distributed and Concurrent Systems Using Timed Language Inclusion.
Satoshi YamanePublished in: Scalable Comput. Pract. Exp. (1998)
Keyphrases
- verification method
- concurrent systems
- temporal logic
- model checking
- distributed systems
- process algebra
- petri net
- programming language
- natural language
- data sets
- timed automata
- cooperative
- finite state machines
- transition systems
- formal specification
- fully automatic
- multi agent
- computer networks
- specification language
- peer to peer
- knowledge management
- web services
- artificial intelligence