✦ LIBER ✦

Model-Checking of Correctness Conditions for Concurrent Objects

✍ Scribed by Rajeev Alur; Ken McMillan; Doron Peled

Book ID: 112252481
Publisher: Elsevier Science
Year: 2000
Tongue: English
Weight: 242 KB
Volume: 160
Category: Article
ISSN: 0890-5401
DOI: 10.1006/inco.1999.2847

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Controllable self-checking checkers for

Controllable self-checking checkers for conditional concurrent checking

✍ Tarnick, S. 📂 Article 📅 1995 🏛 IEEE 🌐 English ⚖ 695 KB

An Incremental Model for Concurrent Obje

An Incremental Model for Concurrent Objects

✍ Sergio E.R. de Carvalho; Toacy C. de Oliveirae 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 372 KB

Numerous models have been proposed for concurrent objects, and their implementations in programming languages have been discussed. This paper presents an incremental model for object-oriented concurrency, starting out with a set of basic assumptions, which try to minimize user participation in desig

Compositional Model Checking of Concurre

Compositional Model Checking of Concurrent Systems

✍ Zheng, Hao; Zhang, Zhen; Myers, Chris J.; Rodriguez, Emmanuel; Zhang, Yingying 📂 Article 📅 2014 🏛 IEEE 🌐 English ⚖ 889 KB

Decidability of model checking for infin

Decidability of model checking for infinite-state concurrent systems

✍ Javier Esparza 📂 Article 📅 1997 🏛 Springer-Verlag 🌐 English ⚖ 223 KB

Temporal logics for concurrent recursive

Temporal logics for concurrent recursive programs: Satisfiability and model checking

✍ Bollig, Benedikt; Cyriac, Aiswarya; Gastin, Paul; Zeitoun, Marc 📂 Article 📅 2014 🏛 Elsevier Science 🌐 English ⚖ 423 KB

An object oriented model for concurrent

An object oriented model for concurrent systems

✍ Zhang Qian; Chen Shihong 📂 Article 📅 1998 🏛 Wuhan University 🌐 English ⚖ 446 KB