✦ LIBER ✦

Local abstraction–refinement for the

✍ Scribed by Harald Fecher; Sharon Shoham

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Comparing Abstraction Refinement Algorit

✍ Dennis Dams 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 663 KB

Deadlock detection using abstraction ref

✍ Hong-wei Zeng 📂 Article 📅 2010 🏛 Chinese Electronic Periodical Services 🌐 English ⚖ 150 KB

Counterexample-guided abstraction refine

✍ Donaldson, Alastair F.; Kaiser, Alexander; Kroening, Daniel; Tautschnig, Michael 📂 Article 📅 2012 🏛 Springer 🌐 English ⚖ 707 KB

SAT-based counterexample-guided abstract

✍ Clarke, E.M.; Gupta, A.; Strichman, O. 📂 Article 📅 2004 🏛 IEEE 🌐 English ⚖ 382 KB

τ-Bisimulations and full abstraction for

✍ F. Cherief; Ph. Schnoebelen 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 525 KB

An efficient approach for abstraction-re

✍ Tian, Cong; Duan, Zhenhua; Zhang, Nan 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 597 KB