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