Author: Elder A. B Phillips
Publisher: BiblioLife
Keywords: verified, mormon, book
Number of Pages: 50
Published: 2009-06-04
List price: $15.75
ISBN-10: 1110415648
ISBN-13: 9781110415649

Author: H. Robso
Publisher: Elsevier Science
Keywords: second, materials, zeolitic, synthesis, verified
Number of Pages: 272
Published: 2001-06-26
List price: $197.00
ISBN-10: 0444507035
ISBN-13: 9780444507037

Zeolite synthesis is an active field of research. As long as this continues, new phases will be discovered and new techniques for preparing existing phases will appear. This edition of Verified Synthesis of Zeolitic Materials contains all the recipes from the first edition plus 24 new recipes. Five new introductory articles have been included plus those from the first edition, some of which have been substantially revised. The XRD patterns have been recorded using different instrument settings from those in the first edition and are intended to conform to typical X-ray diffraction practice. In

Author: J Strother Moore
Publisher: Springer
Keywords: automated, reasoning, series, language, level, mechanically, verified, assembly, piton
Number of Pages: 328
Published: 1996-01-31
List price: $229.00
ISBN-10: 0792339207
ISBN-13: 9780792339205

This book describes the specification and proof of a compiler for a realistically complicated assembly-level language. The book defines the state of the art in machine check proofs of software. Piton is a simple assembly-level programming language for a microprocessor called the FM9001 described at the machine code level. The correctness of the implementation has been proved by a mechanical theorem prover. This book is about the exact meaning of the previous paragraph. What is Piton, exactly? What is the FM9001? How is Piton implemented on the FM9001? In what sense is the implementation correc

Author: Warren A. Jr. Hunt
Publisher: Springer
Keywords: lecture, notes, artificial, intelligence, science, computer, verified, fm8501, microprocessor
Number of Pages: 333
Published: 1994-06-24
List price: $77.95
ISBN-10: 3540579605
ISBN-13: 9783540579601

The FM 8501 microprocessor was invented as a generic microprocessor somewhat similar to a PDP-11. The principal idea of the FM 8501 effort was to see if it was possible to express the user-level specification and the design implementation using a formal logic, the Boyer-Moore logic; this approach permitted a complete mechanically checked proof that the FM 8501 implementation fully implemented its specification. The implementation model for the FM 8501 was inadequate for industrial hardware design but the effort was an important step in the evolution to the design verification methodology now e

Authors:Bertrand Meyer, Jim Woodcock,
Publisher: Springer
Keywords: software, october, switzerland, revised, programming, engineering, zurich, selected, conference, tools, theories, experiments, first, verified, ifip, vstte
Number of Pages: 546
Published: 2008-08-15
List price: $129.00
ISBN-10: 3540691472
ISBN-13: 9783540691471

This state-of-the-art survey is an outcome of the first IFIP TC 2/WG 2.3 working conference on Verified Software: Theories, Tools, Experiments, VSTTE 2005, held in Zurich, Switzerland, in October 2005. This was a historic event gathering many top international experts on systematic methods for specifying, building and verifying high-quality software. The book includes 32 revised full papers and 27 revised position papers, preceded by a general introduction to the area, which also presents the vision of a grand challenge project: the "verifying compiler". Most contributions are followed by a

Authors:Natarajan Shankar, Jim Woodcock,
Publisher: Springer
Keywords: software, october, canada, proceedings, programming, engineering, toronto, lecture, conference, tools, theories, experiments, second, verified, international, vstte
Number of Pages: 263
Published: 2008-11-07
List price: $69.95
ISBN-10: 3540878726
ISBN-13: 9783540878728

This volume contains the proceedings of the second working conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2008, held in Toronto, Canada, in October 2008. The 16 papers presented together with 4 invited talks were carefully revised and selected for inclusion in the book. This second conference formally inaugurates the Verified Software Initiative (VSI), a fifteen-year, co-operative, international project directed at the scientific challenges of large-scale software verification. The scope of the cooperative effort includes the sharing and interoperability of tools, t