✦ LIBER ✦

Mechanized Reasoning and Hardware Design || A Formal HDL and its Use in the FM9001 Verification

✍ Scribed by Warren A. Hunt and Bishop C. Brock

Book ID: 123645629
Publisher: The Royal Society
Year: 1992
Tongue: English
Weight: 398 KB
Volume: 339
Category: Article
ISSN: 0264-3952
DOI: 10.2307/54011

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The DUAL-EVAL Hardware Description Langu

The DUAL-EVAL Hardware Description Language and Its Use in the Formal Specification and Verification of the FM9001 Microprocessor

✍ Bishop C. Brock; Warren A. Hunt 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 283 KB

Mechanized Reasoning and Hardware Design

Mechanized Reasoning and Hardware Design || Occam in the Specification and Verification of Microprocessors

✍ A. W. Roscoe 📂 Article 📅 1992 🏛 The Royal Society 🌐 English ⚖ 446 KB

Mechanized Reasoning and Hardware Design

Mechanized Reasoning and Hardware Design || Using Nuprl for the Verification and Synthesis of Hardware [and Discussion]

✍ Miriam Leeser, T. F. Melham, W. A. Hunt and E. M. Clarke 📂 Article 📅 1992 🏛 The Royal Society 🌐 English ⚖ 502 KB

[Lecture Notes in Computer Science] FM’9

[Lecture Notes in Computer Science] FM’99 — Formal Methods Volume 1708 || The Use of the B Formal Method for the Design and the Validation of the Transaction Mechanism for Smart Card Applications

✍ Wing, Jeannette M.; Woodcock, Jim; Davies, Jim 📂 Article 📅 1999 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 178 KB

Formal methods are coming of age. Mathematical techniques and tools are now regarded as an important part of the development process in a wide range of industrial and governmental organisations. A transfer of technology into the mainstream of systems development is slowly, but surely, taking place.