✦ LIBER ✦

Towards Abstraction-Based Verification of Shape Calculus

✍ Scribed by Buti, F.; Callisto De Donato, M.; Corradini, F.; Di Berardini, M.R.; Merelli, E.; Tesei, L.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The SH-Verification Tool — Abstraction-B

✍ P. Ochsenschläger; J. Repp; R. Rieke; U. Nitsche 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 193 KB

Abstraction-based verification of codiag

✍ K. Schmidt 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 579 KB

An Essay towards the Calculus of Functio

✍ C. Babbage 📂 Article 📅 1815-1830 🏛 The Royal Society ⚖ 123 KB

An Abstraction Algorithm for the Verific

✍ Jason Baumgartner; Tamir Heyman; Vigyan Singhal; Adnan Aziz 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 210 KB

Abstract interpretation based verificati

✍ Marco Comini; Roberta Gori; Giorgio Levi; Paolo Volpe 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 400 KB

Abstract Interpretation based Verificati

✍ Marco Comini; Roberta Gori; Giorgio Levi; Paolo Volpe 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 958 KB