✦ LIBER ✦

[IEEE 2003 1st IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2003) - Mont Saint Michel, France (2003.06.24-2003.06.26)] First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings. - Combining ACL2 and a /spl nu/-calculus model-checker to verify system-level designs

✍ Scribed by Contensin, M.; Pierre, L.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2003 1st IEEE International Confer

✍ Jindal, R.; Jain, K. 📂 Article 📅 2003 🏛 IEEE ⚖ 214 KB

[IEEE 2003 1st IEEE International Confer

✍ Wodey, P.; Camarroque, G.; Baray, F.; Hersemeule, R.; Cousin, J.-P. 📂 Article 📅 2003 🏛 IEEE ⚖ 367 KB