✦ LIBER ✦

Counterexample-guided abstraction refinement for symmetric concurrent programs

✍ Scribed by Donaldson, Alastair F.; Kaiser, Alexander; Kroening, Daniel; Tautschnig, Michael; Wahl, Thomas

Book ID: 113065893
Publisher: Springer
Year: 2012
Tongue: English
Weight: 707 KB
Volume: 41
Category: Article
ISSN: 0925-9856
DOI: 10.1007/s10703-012-0155-3

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

SAT-based counterexample-guided abstract

SAT-based counterexample-guided abstraction refinement

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

Automated Compositional Abstraction Refi

Automated Compositional Abstraction Refinement for Concurrent C Programs: A Two-Level Approach

✍ Sagar Chaki; Joël Ouaknine; Karen Yorav; Edmund Clarke 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 992 KB

The state space explosion problem in model checking remains the chief obstacle to the practical verification of real-world distributed systems. We attempt to address this problem in the context of verifying concurrent (message-passing) C programs against safety specifications. More specifically, we

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computer Aided Verification Volume 7358 || Efficient Runtime Policy Enforcement Using Counterexample-Guided Abstraction Refinement

✍ Madhusudan, P.; Seshia, Sanjit A. 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 303 KB

A Fully Abstract Semantics for Concurren

A Fully Abstract Semantics for Concurrent Constraint Programming

✍ Sven-Olof Nyström; Bengt Jonsson 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 692 KB