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

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

by Lee Pike

Venue:	IEEE Transactions on Software Engineering
Citations:	6 - 2 self

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	A note on inconsistent axioms in Rushby's "Systematic formal verification for fault-tolerant time-triggered algorithms"	user correction - Legacy Corrections
AUTHOR NAME	Lee Pike	SVM HeaderParse 0.2
ABSTRACT	We describe some inconsistencies in John Rushby's axiomatization of time-triggered algorithms that he presented in these transactions and that he formally specifies and verifies in the mechanical theorem-prover PVS. We present corrections for these inconsistencies that have been checked for consistency in PVS.	user correction - Legacy Corrections
YEAR	2006	INFERENCE
VENUE	IEEE Transactions on Software Engineering	INFERENCE
VENUE TYPE	JOURNAL	INFERENCE
PAGES	347--348	INFERENCE
VOLUME	32	INFERENCE
CITATIONS	4 found	ParsCit 1.0