Iterable forward reachability analysis of monitor-DPNs

MaRDI QIDQ4994705zbMATH OpenFDO

Authors Benedikt Nordhoff, Markus Müller-Olm, Peter Lammich

Publication date 21 June 2021

Full work available at URL https://arxiv.org/abs/1309.5150, http://eptcs.web.cse.unsw.edu.au/paper.cgi?DSS2013.24

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 5954655
• Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation
• CONCUR 2005 – Concurrency Theory
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
• Reachability analysis of synchronized PA systems

This page was built for publication: Iterable forward reachability analysis of monitor-DPNs

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