✦ LIBER ✦

Automatic software model checking via constraint logic

✍ Scribed by Cormac Flanagan

Book ID: 108261814
Publisher: Elsevier Science
Year: 2004
Tongue: English
Weight: 270 KB
Volume: 50
Category: Article
ISSN: 0167-6423
DOI: 10.1016/j.scico.2004.01.006

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Bitwidth Reduction via Symbolic Interval

Bitwidth Reduction via Symbolic Interval Analysis for Software Model Checking

✍ Zaks, A.; Zijiang Yang; Shlyakhter, I.; Ivancic, F.; Cadambi, S.; Ganai, M.K.; G 📂 Article 📅 2008 🏛 IEEE 🌐 English ⚖ 218 KB

[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

Automatic verification of multi-agent sy

Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams

✍ Franco Raimondi; Alessio Lomuscio 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 234 KB

A hybrid fuzzy logic/constraint satisfac

A hybrid fuzzy logic/constraint satisfaction problem approach to automatic decision making in simulation game models

✍ Braathen, S.; Sendstad, O.J. 📂 Article 📅 2004 🏛 IEEE 🌐 English ⚖ 364 KB

[Lecture Notes in Computer Science] Engi

[Lecture Notes in Computer Science] Engineering Secure Software and Systems Volume 6542 || Automatic Conformance Checking of Role-Based Access Control Policies via Alloy

✍ Erlingsson, Úlfar; Wieringa, Roel; Zannone, Nicola 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 386 KB

This book constitutes the refereed proceedings of the Third International Symposium on Engineering Secure Software and Systems, ESSoS 2011, held in Madrid, Italy, in February 2011. The 18 revised full papers presented together with 3 idea papers were carefully reviewed and selected from 63 submissio

[Lecture Notes in Computer Science] Foun

[Lecture Notes in Computer Science] Foundations of Software Science and Computational Structures Volume 6014 || Model Checking Is Static Analysis of Modal Logic

✍ Ong, Luke 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 301 KB