Modular Verification of Concurrent Programs via Sequential Model Checking

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-030-01090-4_14 ◽

2018 ◽

pp. 228-247 ◽

Author(s):

Dan Rasin ◽

Orna Grumberg ◽

Sharon Shoham

Keyword(s):

Model Checking ◽

Concurrent Programs ◽

Sequential Model ◽

Modular Verification

Download Full-text

Modular verification for shared-variable concurrent programs

CONCUR '96: Concurrency Theory - Lecture Notes in Computer Science ◽

10.1007/3-540-61604-7_85 ◽

1996 ◽

pp. 703-718 ◽

Author(s):

Jürgen Dingel

Keyword(s):

Concurrent Programs ◽

Shared Variable ◽

Modular Verification

Download Full-text

Stateless model checking concurrent programs with maximal causality reduction

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2015 ◽

10.1145/2737924.2737975 ◽

2015 ◽

Author(s):

Jeff Huang

Keyword(s):

Model Checking ◽

Concurrent Programs

Download Full-text

Model Checking Concurrent Programs

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation ◽

10.1007/978-3-540-93900-9_2 ◽

2008 ◽

pp. 2-2

Author(s):

Aarti Gupta

Keyword(s):

Model Checking ◽

Concurrent Programs

Download Full-text

Model checking of concurrent programs with static analysis of field accesses

Science of Computer Programming ◽

10.1016/j.scico.2014.10.008 ◽

2015 ◽

Vol 98 ◽

pp. 735-763 ◽

Author(s):

Pavel Parízek ◽

Ondřej Lhoták

Keyword(s):

Model Checking ◽

Static Analysis ◽

Concurrent Programs

Download Full-text

LTL model checking for communicating concurrent programs

Innovations in Systems and Software Engineering ◽

10.1007/s11334-020-00363-6 ◽

2020 ◽

Vol 16 (2) ◽

pp. 161-179 ◽

Author(s):

Adrien Pommellet ◽

Tayssir Touili

Keyword(s):

Model Checking ◽

Concurrent Programs ◽

Ltl Model Checking

Download Full-text

Modular Verification of Open Features Using Three-Valued Model Checking

Automated Software Engineering ◽

10.1007/s10515-005-2643-9 ◽

2005 ◽

Vol 12 (3) ◽

pp. 349-382 ◽

Author(s):

Harry C. Li ◽

Shriram Krishnamurthi ◽

Kathi Fisler

Keyword(s):

Model Checking ◽

Modular Verification

Download Full-text

Model Checking Concurrent Programs

Handbook of Model Checking ◽

10.1007/978-3-319-10575-8_18 ◽

2018 ◽

pp. 573-611 ◽

Author(s):

Aarti Gupta ◽

Vineet Kahlon ◽

Shaz Qadeer ◽

Tayssir Touili

Keyword(s):

Model Checking ◽

Concurrent Programs

Download Full-text

The Complexity of Model Checking Concurrent Programs Against CTLK Specifications

Declarative Agent Languages and Technologies IV - Lecture Notes in Computer Science ◽

10.1007/11961536_3 ◽

2006 ◽

pp. 29-42 ◽

Author(s):

Alessio Lomuscio ◽

Franco Raimondi

Keyword(s):

Model Checking ◽

Concurrent Programs

Download Full-text

Refinement of structural heuristics for model checking of concurrent programs through data mining

Computer Languages Systems & Structures ◽

10.1016/j.cl.2016.06.001 ◽

2017 ◽

Vol 47 ◽

pp. 170-188 ◽

Author(s):

Reed Milewicz ◽

Peter Pirkelbauer

Keyword(s):

Data Mining ◽

Model Checking ◽

Concurrent Programs

Download Full-text

Model checking and modular verification

ACM Transactions on Programming Languages and Systems ◽

10.1145/177492.177725 ◽

1994 ◽

Vol 16 (3) ◽

pp. 843-871 ◽

Author(s):

Orna Grumberg ◽

David E. Long

Keyword(s):

Model Checking ◽

Modular Verification

Download Full-text