✦ LIBER ✦

Coinductive Verification of Program Optimizations Using Similarity Relations

✍ Scribed by Sabine Glesner; Johannes Leitner; Jan Olaf Blech

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Towards the verification of optimizing t

✍ Gerd Kock 📂 Article 📅 1990 🏛 Elsevier Science ⚖ 657 KB

Integrated program debugging, verificati

✍ Manuel V. Hermenegildo; Germán Puebla; Francisco Bueno; Pedro López-García 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 820 KB

Modelling and verification of program lo

✍ Wang, R.; Song, X.; Gu, M. 📂 Article 📅 2007 🏛 The Institution of Engineering and Technology 🌐 English ⚖ 186 KB

Formal verification of concurrent progra

✍ Chetali, B. 📂 Article 📅 1998 🏛 IEEE 🌐 English ⚖ 240 KB

Verification of synchronous-automaton pr

✍ S. V. Kubasov 📂 Article 📅 2010 🏛 Allerton Press Inc 🌐 English ⚖ 113 KB

Similarity-based test case prioritizatio

✍ Fang, Chunrong; Chen, Zhenyu; Wu, Kun; Zhao, Zhihong 📂 Article 📅 2013 🏛 Springer US 🌐 English ⚖ 628 KB