Temporal Logic Applied to Reliability Modelling of Fault-Tolerant Systems.
Klaus D. HeidtmannPublished in: FTRTFT (1992)
Keyphrases
- fault tolerant
- temporal logic
- distributed systems
- fault tolerance
- model checking
- safety critical
- load balancing
- modal logic
- high assurance
- dynamic constraints
- reactive systems
- transition systems
- concurrent systems
- satisfiability problem
- metadata
- temporally extended
- finite state machines
- interconnection networks
- state machine
- belief revision
- software engineering
- search space
- linear temporal logic
- multi agent