✦ LIBER ✦

[Lecture Notes in Computer Science] Model Checking and Artificial Intelligence Volume 6572 || Automatic Data-Abstraction in Model Checking Multi-Agent Systems

✍ Scribed by van der Meyden, Ron; Smaus, Jan-Georg

Book ID: 120172855
Publisher: Springer Berlin Heidelberg
Year: 2011
Weight: 288 KB
Category: Article
ISBN: 3642206743
DOI: 10.1007/978-3-642-20674-0_4

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Mode

[Lecture Notes in Computer Science] Model Checking Software Volume 2318 || Model Checking Knowledge and Time

✍ Bošnački, Dragan; Leue, Stefan 📂 Article 📅 2002 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 292 KB

The SPIN workshop series brings together researchers and practitioners int- ested in explicit state model checking technology as it is applied to the veri?- tion of software systems. Since 1995, when the SPIN workshop series was instigated, SPIN workshops have been held on an annual basis at Montr´

[Lecture Notes in Computer Science] Mode

[Lecture Notes in Computer Science] Model Checking Software Volume 6349 || Automatic Generation of Model Checking Scripts Based on Environment Modeling

✍ van de Pol, Jaco; Weber, Michael 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 521 KB

[Lecture Notes in Computer Science] Veri

[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 7737 || Abstraction of Syntax

✍ Giacobazzi, Roberto; Berdine, Josh; Mastroeni, Isabella 📂 Article 📅 2013 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 267 KB

This book constitutes the refereed proceedings of the 14th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2013, held in Rome, Italy, in January 2013, co-located with the Symposium on Principles of Programming Languages, POPL 2013. The 27 revised full pap

[Lecture Notes in Computer Science] Veri

[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 3385 || Abstraction for Liveness

✍ Cousot, Radhia 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg ⚖ 110 KB

[Lecture Notes in Computer Science] Veri

[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 5944 || Model-Checking In-Lined Reference Monitors

✍ Barthe, Gilles; Hermenegildo, Manuel 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 360 KB

[Lecture Notes in Computer Science] Decl

[Lecture Notes in Computer Science] Declarative Agent Languages and Technologies II Volume 3476 || Model Checking Agent Dialogues

✍ Leite, João; Omicini, Andrea; Torroni, Paolo; Yolum, pInar 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 185 KB

The second edition of the workshop on Declarative Agent Languages and Te- nologies (DALT 2004) was held July 2004 in New York City, and was a great success. We saw a signi?cant increase in both the number of submitted papers and workshop attendees from the ?rst meeting, held July 2003 in Melbourne.