CARET analysis of multithreaded programs

DOI10.1007/978-3-319-94460-9_5MaRDI QIDQ1671142zbMATH OpenOpenAlexFDO

Authors Huu-Vu Nguyen, Tayssir Touili

Publication date 6 September 2018

Full work available at URL https://arxiv.org/abs/1709.09006

Mathematics Subject Classification ID

Temporal logic (03B44) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Branching Temporal Logic of Calls and Returns for Pushdown Systems
• scientific article; zbMATH DE number 5954655
• Model checking dynamic pushdown networks
• Model checking dynamic pushdown networks
• Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation

Cited in

(6)

• A shared-variable concurrency analysis of multi-threaded object-oriented programs
• Multithreaded-Cartesian abstract interpretation of multithreaded recursive programs Is polynomial
• Multi-matching nested relations
• Revisiting the Cache Miss Analysis of Multithreaded Algorithms
• Precise Fixpoint-Based Analysis of Programs with Thread-Creation and Procedures
• LTL model checking of concurrent self-modifying code

This page was built for publication: CARET analysis of multithreaded programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1671142)