✦ LIBER ✦

Model-checking multi-threaded distributed Java programs

✍ Scribed by Scott D. Stoller

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Framework for testing multi-threaded Jav

✍ Orit Edelstein; Eitan Farchi; Evgeny Goldin; Yarden Nir; Gil Ratsaby; Shmuel Ur 📂 Article 📅 2003 🏛 John Wiley and Sons 🌐 English ⚖ 162 KB

Model checking JAVA programs using JAVA

✍ Klaus Havelund; Thomas Pressburger 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 253 KB

Heuristics for model checking Java progr

✍ Alex Groce; Willem Visser 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 535 KB

Verifying Multi-agent Programs by Model

✍ Rafael H. Bordini; Michael Fisher; Willem Visser; Michael Wooldridge 📂 Article 📅 2006 🏛 Springer US 🌐 English ⚖ 339 KB

Implementation of the EARTH programming

✍ G. Tremblay; C. J. Morrone; J. N. Amaral; G. R. Gao 📂 Article 📅 2003 🏛 John Wiley and Sons 🌐 English ⚖ 295 KB

A non-linear goal programming model and

✍ Stephen C. H. Leung 📂 Article 📅 2007 🏛 Springer US 🌐 English ⚖ 329 KB