Map
Index
Random
Help
th

Quote: using an interactive proof system produced a publishable proof, enumeration of all assumptions, and exploration of changed assumptions

topics > all references > references p-r > QuoteRef: rushJ12_1991 , p. 7



Topic:
theorem proving systems

Quotation Skeleton

we were able to extract a [publishable] description of our revised analysis [of ICA algorithm for Byzantine-failure clock synchronization] fairly directly from the … [p. 7] Another benefit … was a complete enumeration of all the assumptions, … Yet another benefit … was the ability to explore the consequences of …   Google-1   Google-2

Copyright clearance needed for quotation.


Related Topics up

Topic: theorem proving systems (20 items)

Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.