Searching for "Model Checking and Fault Tolerance." – sorted by Relevance.
5 documents found, showing 1 through 5.
-
Model Checking of Consensus Algorithms
- …, Heard-Of (HO) model, model checking, fault-tolerant distributed systems, verification 1 Introduction…
- Cited by 1 (0 self) – Add To MetaCart
-
fault tolerance
- …Combining fault injection and model checking to verify fault tolerance in multi-agent systems…
- Add To MetaCart
-
Verifying Fault-Tolerant Behavior of State Machines
- … concerning fault tolerance of finite state machines. In Section 6 we comment briefly on model checking fault-tolerant…
- Cited by 3 (0 self) – Add To MetaCart
-
Dependability Gauges for Dynamic Systems
- … is abstracted away, in order to make the analysis more tractable. Model checking fault tolerance of a system…
- Add To MetaCart
-
Comparing Semantic and Syntactic Methods in Mechanized Proof Frameworks Abstract
- … semantics and type system for the list machine so as to model and check fault-tolerant code. Our fault-tolerant…
- Add To MetaCart
Showing 1 through 5.
