CARET analysis of multithreaded programs

DOI10.1007/978-3-319-94460-9_5OpenAlexW2759888835MaRDI QIDQ1671142

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

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

Related Items (1)

Multi-matching nested relations

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