Local Nontermination Detection for Parallel C++ Programs

DOI10.1007/978-3-030-30446-1_20MaRDI QIDQ6488985zbMATH OpenFDO

Authors J. Barnat

Publication date 14 March 2024

Full work available at URL https://doi.org/10.1007/978-3-030-30446-1_20

Mathematics Subject Classification ID

Theory of programming languages (68N15) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Non-termination Checking for Imperative Programs
• Efficient detection of determinacy races in cilk programs
• scientific article; zbMATH DE number 1091202
• Termination detection in parallel loop nests with while loops
• Proving non-termination

Cites work

• Concurrent software verification with states, events, and deadlocks
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• Markov Chains
• Symbolic computation via program transformation

This page was built for publication: Local Nontermination Detection for Parallel C++ Programs

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