Login / Signup
A Note on Inconsistent Axioms in Rushby's "Systematic Formal Verification for Fault-Tolerant Time-Triggered Algorithms'.
Lee Pike
Published in:
IEEE Trans. Software Eng. (2006)
Keyphrases
</>
fault tolerant
formal verification
fault tolerance
distributed systems
data structure
orders of magnitude
safety critical
load balancing
model checking
parallel computers
interconnection networks