Testing Temporal Logic Properties in Distributed Systems.
Falk DietrichXavier LogeanShawn KoppenhoeferJean-Pierre HubauxPublished in: IWTCS (1998)
Keyphrases
- distributed systems
- temporal logic
- concurrent systems
- model checking
- fault tolerant
- distributed environment
- modal logic
- geographically distributed
- temporal properties
- mobile agents
- fault tolerance
- temporal knowledge
- verification method
- distributed computing
- satisfiability problem
- distributed database systems
- software architecture
- transition systems
- formal verification
- load balancing
- mazurkiewicz traces
- linear temporal logic
- data replication
- real time systems
- belief revision
- reactive systems
- mobile agent system
- test cases
- temporally extended
- query processing
- bounded model checking
- computation tree logic
- artificial intelligence