A note on inconsistent axioms in Rushby's "Systematic formal verification for fault-tolerant time-triggered algorithms" (2006)

Cached

Download Links

by Lee Pike
Venue:IEEE Transactions on Software Engineering
Citations:8 - 3 self

Document Versions

A note on inconsistent axioms in Rushby's "Systematic formal verification for fault-tolerant time-triggered algorithms" –Lee Pike — 2006 — IEEE Transactions on Software Engineering