Formal Reasoning on Fault Coverage of Fault Tolerant Techniques: A Case Study.
Cinzia BernardeschiAlessandro FantechiLuca SimonciniPublished in: EDCC (1994)
Keyphrases
- fault tolerant
- fault tolerance
- distributed systems
- formal models
- load balancing
- case study
- logical reasoning
- knowledge representation
- state machine
- reasoning process
- high availability
- formal specification
- reasoning processes
- safety critical
- formal representation
- legal reasoning
- qualitative reasoning
- fine grained
- knowledge base
- knowledge sharing and reuse
- legal argument
- artificial intelligence
- formal methods
- expert systems
- metadata