✦ LIBER ✦

Tools for software verification

✍ Scribed by Parosh Aziz Abdulla,K. Rustan M. Leino

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Tool verification software

📂 Article 📅 1983 🏛 Elsevier Science 🌐 English ⚖ 187 KB

Secure software verification tools

📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 93 KB

A comparison of tools for teaching forma

✍ Ingo Feinerer; Gernot Salzer 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 194 KB

418 VerA: A software tool for dose verif

✍ E. Wasbø; ; Y. Kvinnsland; L. Bolstad Hysing; J. Frengen 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 120 KB

A software tool for 3D dose verification

✍ Sa'd, M Al; Graham, J; Liney, G P 📂 Article 📅 2013 🏛 Institute of Physics 🌐 English ⚖ 564 KB

Satisfiability solving for software veri

✍ David Déharbe; Silvio Ranise 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 164 KB