| 
|
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 >
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.
Topic: theorem proving systems (20 items)