Temporal Logic Specification of Distributed Systems.
Richard L. SchwartzP. M. Melliar-SmithPublished in: ICDCS (1981)
Keyphrases
- distributed systems
- temporal logic
- transition systems
- concurrent systems
- reactive systems
- linear temporal logic
- model checking
- fault tolerant
- modal logic
- satisfiability problem
- distributed environment
- formal specification
- formal verification
- fault tolerance
- load balancing
- dynamic constraints
- mobile agents
- geographically distributed
- belief revision
- model checker
- mazurkiewicz traces
- computation tree logic
- verification method
- distributed computing
- software architecture
- data replication
- distributed database systems
- temporal knowledge
- real time systems
- bounded model checking
- data availability
- specification language
- formal specification language