✦ LIBER ✦

Formal verification of conflict detection algorithms

✍ Scribed by César Muñoz; Víctor Carreño; Gilles Dowek; Ricky Butler

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Formal Verification of Square Root Algor

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

Timing Diagrams: Formalization and Algor

✍ Kathi Fisler 📂 Article 📅 1999 🏛 Springer Netherlands 🌐 English ⚖ 235 KB

Java Bytecode Verification: Algorithms a

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

Systematic formal verification for fault

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

Formal verification

✍ B Meenakshi 📂 Article 📅 2005 🏛 Indian Academy of Sciences 🌐 English ⚖ 674 KB

A termination detection protocol and its

✍ Ole Eriksen 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 512 KB