𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2008 Formal Methods in Computer-Aided Design (FMCAD) - Portland, OR, USA (2008.11.17-2008.11.20)] 2008 Formal Methods in Computer-Aided Design - Invariant-Strengthened Elimination of Dependent State Elements

✍ Scribed by Case, Michael L.; Mishchenko, Alan; Brayton, Robert K.; Baumgartner, Jason; Mony, Hari

Book ID: 126702573
Publisher: IEEE
Year: 2008
Weight: 370 KB
Category: Article
ISBN: 1424427355
DOI: 10.1109/FMCAD.2008.ECP.6

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2008 Formal Methods in Computer-Ai

[IEEE 2008 Formal Methods in Computer-Aided Design (FMCAD) - Portland, OR, USA (2008.11.17-2008.11.20)] 2008 Formal Methods in Computer-Aided Design - Verifying an Arbiter Circuit

✍ Yan, Chao; Greenstreet, Mark R. 📂 Article 📅 2008 🏛 IEEE ⚖ 871 KB

[IEEE 2008 Formal Methods in Computer-Ai

[IEEE 2008 Formal Methods in Computer-Aided Design (FMCAD) - Portland, OR, USA (2008.11.17-2008.11.20)] 2008 Formal Methods in Computer-Aided Design - Automatic Formal Verification of Block Cipher Implementations

✍ Smith, Eric; Dill, David L. 📂 Article 📅 2008 🏛 IEEE ⚖ 287 KB

[IEEE 2008 Formal Methods in Computer-Ai

[IEEE 2008 Formal Methods in Computer-Aided Design (FMCAD) - Portland, OR, USA (2008.11.17-2008.11.20)] 2008 Formal Methods in Computer-Aided Design - Word-Level Sequential Memory Abstraction for Model Checking

✍ Bjesse, Per 📂 Article 📅 2008 🏛 IEEE ⚖ 171 KB

[IEEE 2008 Formal Methods in Computer-Ai

[IEEE 2008 Formal Methods in Computer-Aided Design (FMCAD) - Portland, OR, USA (2008.11.17-2008.11.20)] 2008 Formal Methods in Computer-Aided Design - Combining Predicate and Numeric Abstraction for Software Model Checking

✍ Gurfinkel, Arie; Chaki, Sagar 📂 Article 📅 2008 🏛 IEEE ⚖ 354 KB

[IEEE 2008 Formal Methods in Computer-Ai

[IEEE 2008 Formal Methods in Computer-Aided Design (FMCAD) - Portland, OR, USA (2008.11.17-2008.11.20)] 2008 Formal Methods in Computer-Aided Design - A Refinement Approach to Design and Verification of On-Chip Communication Protocols

✍ Bohm, Peter; Melham, Tom 📂 Article 📅 2008 🏛 IEEE ⚖ 217 KB

[IEEE 2008 Formal Methods in Computer-Ai

[IEEE 2008 Formal Methods in Computer-Aided Design (FMCAD) - Portland, OR, USA (2008.11.17-2008.11.20)] 2008 Formal Methods in Computer-Aided Design - Machine-Code Verification for Multiple Architectures - An Application of Decompilation into Logic

✍ Myreen, Magnus O.; Gordon, Michael J. C.; Slind, Konrad 📂 Article 📅 2008 🏛 IEEE ⚖ 186 KB