✦ LIBER ✦

Timing Diagrams: Formalization and Algorithmic Verification

✍ Scribed by Kathi Fisler

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Systematic formal verification for fault

✍ Rushby, J. 📂 Article 📅 1999 🏛 IEEE 🌐 English ⚖ 193 KB

Java Bytecode Verification: Algorithms a

✍ Xavier Leroy 📂 Article 📅 2003 🏛 Springer Netherlands 🌐 English ⚖ 224 KB

Formal Verification based on Boolean Exp

✍ Poul Frederick Williams 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 162 KB

Formal Verification of Square Root Algor

✍ John Harrison 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 87 KB

Formal verification of conflict detectio

✍ César Muñoz; Víctor Carreño; Gilles Dowek; Ricky Butler 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 212 KB

Permutation rewriting and algorithmic ve

✍ Ahmed Bouajjani; Anca Muscholl; Tayssir Touili 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 371 KB