Distributed Cooperative Formal Methods Tools.
Joseph A. GoguenKai LinAkira MoriGrigore RosuAkiyoshi SatoPublished in: ASE (1997)
Keyphrases
- formal methods
- cooperative
- formal analysis
- distributed problem solving
- model checking
- multi agent
- provably correct
- process algebra
- formal specification
- distributed systems
- model checker
- fully distributed
- knowledge based systems
- safety critical
- artificial intelligence
- temporal properties
- distributed environment
- software engineering
- security properties
- building blocks
- peer to peer
- reactive systems
- development lifecycle