Modeling and testing object-oriented distributed systems with linear-time temporal logic.
Falk DietrichXavier LogeanJean-Pierre HubauxPublished in: Concurr. Comput. Pract. Exp. (2001)
Keyphrases
- distributed systems
- object oriented
- load balancing
- distributed environment
- fault tolerant
- concurrent systems
- real time systems
- data replication
- geographically distributed
- distributed computing
- linear time temporal logic
- mobile agents
- fault tolerance
- distributed database systems
- relational databases
- replicated data
- deadlock detection
- model checking
- test cases
- database applications
- programming language
- data model
- agent based systems
- artificial intelligence