[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php

Bibliographic Item (1.0)

Pike06

  1. Lee Pike
  2. A Note on the inconsistent axioms in Rushby's "Systematic Formal Verification for Fault-Tolerant Time-triggered Algorithms"
  3. IEEE Trans Software Engineering V32n5(May 2006)pp347-348
  4. =CORRECTION LOGIC ERRORS TIMING PVS
  5. Refers to J. Rushby's paper in IEEE Trans Software Engineering V25n5(May 1999)pp651-660
  6. Evidence that it is difficult to get axioms right, and that social processes correct and improve them... not tools and logic.
  7. The axioms model the behavior of clocks.
  8. The PVS tool was used to test for consistency by constructing a model that satisfies the new axioms.

Search for bibliographic items containing a matching string.


(Search uses POSIX regular expressions and ignores case)

Search for a specific bibliographic item by name.



To see the complete bibliography (1Mb+) select:[Bibliography]