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