Download or read book Formal Verification of an Oral Messages Algorithm for Interactive Consistency written by John Rushby and published by . This book was released on 1992 with total page 56 pages. Available in PDF, EPUB and Kindle. Book excerpt: This example illustrates how delicate choices in the formulation of a problem can have significant impact on the readability of its formal specification and on the tractability of its formal verification."
Download or read book Formal Verification of an Oral Messages Algorithm for Interactive Consistency written by National Aeronautics and Space Administration (NASA) and published by Createspace Independent Publishing Platform. This book was released on 2018-07-06 with total page 54 pages. Available in PDF, EPUB and Kindle. Book excerpt: The formal specification and verification of an algorithm for Interactive Consistency based on the Oral Messages algorithm for Byzantine Agreement is described. We compare our treatment with that of Bevier and Young, who presented a formal specification and verification for a very similar algorithm. Unlike Bevier and Young, who observed that 'the invariant maintained in the recursive subcases of the algorithm is significantly more complicated than is suggested by the published proof' and who found its formal verification 'a fairly difficult exercise in mechanical theorem proving, ' our treatment is very close to the previously published analysis of the algorithm, and our formal specification and verification are straightforward. This example illustrates how delicate choices in the formulation of the problem can have significant impact on the readability of its formal specification and on the tractability of its formal verification. Rushby, John Unspecified Center..
Download or read book A Formally Verified Algorithm for Interactive Consistency Under a Hybrid Fault Model written by Patrick Lincoln and published by . This book was released on 1993 with total page 80 pages. Available in PDF, EPUB and Kindle. Book excerpt: We developed an incorrect version ourselves, and even 'proved' it correct using ordinary, informal mathematics. The discipline of mechanically checked formal verification eventually enabled us to develop a correct algorithm for Interactive Consistency under the hybrid fault model. We present this algorithm, discuss its subtle points, and describe its formal specification and verification. We argue that formal verification systems such as PVS are now sufficiently effective that their application to fault-tolerance algorithms should be considered routine."
Download or read book Scientific and Technical Aerospace Reports written by and published by . This book was released on 1991 with total page 562 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Computer Aided Verification written by Costas Courcoubetis and published by Springer Science & Business Media. This book was released on 1993-06-16 with total page 520 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume contains the proceedings of the Fifth Conference on Computer-Aided Verfication, held in Crete, Greece, in June/July 1993. The objective of the CAV conferences is to bring together researchers and practitioners interested in the development anduse of methods, tools, and theories for the computer-aided verification of concurrent systems. The conferences provide an opportunity for comparing various verfication methods and tools that can be used to assist the applications designer. Emphasis is placed on new research results and the application of existing methods to real verification problems. The volume contains abstracts of three invited lectures and full versions of 37 contributed papers selected from 84 submissions.The contributions are grouped into sections on hardware verification with BDDs, methods and tools, theorem proving, analysis of real-time systems, process algebras and calculi, partial orders, and exploiting symmetry.
Download or read book The Second NASA Formal Methods Workshop 1992 written by and published by . This book was released on 1992 with total page 248 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book FME 93 Industrial Strength Formal Methods written by Jim Woodcock and published by Springer Science & Business Media. This book was released on 1993 with total page 712 pages. Available in PDF, EPUB and Kindle. Book excerpt: The last few years have borne witness to a remarkable diversity of formal methods, with applications to sequential and concurrent software, to real-time and reactive systems, and to hardware design. In that time, many theoretical problems have been tackled and solved, and many continue to be worked upon. Yet it is by the suitability of their industrial application and the extent of their usage that formal methods will ultimately be judged. This volume presents the proceedings of the first international symposium of Formal Methods Europe, FME'93. The symposium focuses on the application of industrial-strength formal methods. Authors address the difficulties of scaling their techniques up to industrial-sized problems, and their suitability in the workplace, and discuss techniques that are formal (that is, they have a mathematical basis) and that are industrially applicable. The volume has four parts: - Invited lectures, containing a lecture by Cliff B. Jones and a lecture by Antonio Cau and Willem-Paul de Roever; - Industrial usage reports, containing 6 reports; - Papers, containing 32 selected and refereedpapers; - Tool descriptions, containing 11 descriptions.
Download or read book NASA Formal Methods Workshop 1990 written by and published by . This book was released on 1990 with total page 518 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book COMPASS written by and published by . This book was released on 1996 with total page 280 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Monthly Catalog of United States Government Publications written by United States. Superintendent of Documents and published by . This book was released on 1993 with total page 1072 pages. Available in PDF, EPUB and Kindle. Book excerpt: February issue includes Appendix entitled Directory of United States Government periodicals and subscription publications; September issue includes List of depository libraries; June and December issues include semiannual index
Download or read book Third NASA Langley Formal Methods Workshop written by and published by . This book was released on 1995 with total page 274 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Monthly Catalogue United States Public Documents written by and published by . This book was released on 1993 with total page 1786 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Journal of Research of the National Institute of Standards and Technology written by and published by . This book was released on 1996 with total page 950 pages. Available in PDF, EPUB and Kindle. Book excerpt: Reports NIST research and development in the physical and engineering sciences in which the Institute is active. These include physics, chemistry, engineering, mathematics, and computer sciences. Emphasis on measurement methodology and the basic technology underlying standardization.
Download or read book Dependable Computing for Critical Applications 6 written by Mario Dal Cin and published by Institute of Electrical & Electronics Engineers(IEEE). This book was released on 1998 with total page 352 pages. Available in PDF, EPUB and Kindle. Book excerpt: Fourteen papers from the 1997 conference address the dependability of computer systems to perform critical tasks. The main aspects examined are fault detection mechanisms, dependability evaluation, real-time and distributed systems, verification, case studies, and dependability and security evaluation. The volume also presents five position papers from a panel discussion on extending QoS to include performance, dependability, and security. No index. Annotation copyrighted by Book News, Inc., Portland, OR
Download or read book Government Reports Announcements Index written by and published by . This book was released on 1993 with total page 1360 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book FTCS 23 written by and published by . This book was released on 1993 with total page 716 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book FME written by and published by . This book was released on 1993 with total page 710 pages. Available in PDF, EPUB and Kindle. Book excerpt:
