✦ LIBER ✦

Verified microcode design

✍ Scribed by David Shepherd

Publisher: Elsevier Science
Year: 1990
Tongue: English
Weight: 751 KB
Volume: 14
Category: Article
ISSN: 0141-9331
DOI: 10.1016/0141-9331(90)90037-v

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Short designated verifier proxy signatur

Short designated verifier proxy signatures

✍ Kyung-Ah Shim 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 209 KB

A design concept for verified concurrent

A design concept for verified concurrent controllers

✍ M. Schäfer; G. Klein-Hessling 📂 Article 📅 1991 🏛 Elsevier Science ⚖ 709 KB

CAD for verified hardware design via cat

CAD for verified hardware design via category theory

✍ Robert Zimmer; Alan MacDonald; Robert Holte 📂 Article 📅 1991 🏛 Elsevier Science ⚖ 891 KB

Microcode copyright ruling

📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 120 KB

Verified bytecode verifiers

✍ Gerwin Klein; Tobias Nipkow 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 335 KB

Using the theorem prover Isabelle/HOL we have formalized and proved correct and executable bytecode veriÿer in the style of Kildall's algorithm for a signiÿcant subset of the Java Virtual Machine (JVM). First an abstract framework for proving correctness of data ow based type inference algorithms fo

Automatic compaction of microcode

✍ Antonio Lioy; Marco Mezzalama 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 695 KB