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

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

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

(5)

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

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)