Program-Conflict-Analysis

MaRDI QIDQ43930swMATHFDO

Authors Peter Lammich, Markus Müller-Olm

Publication date 14 December 2007

Official website https://www.isa-afp.org/entries/Program-Conflict-Analysis.html

Cites work

• Computer Aided Verification
• CONCUR 2005 – Concurrency Theory
• Constraint-based inter-procedural analysis of parallel programs
• Efficient algorithms for pre* and post* on interprocedural parallel flow graphs
• Unnamed Publication
• Unnamed Publication
• Unnamed Publication
• On optimal slicing of parallel programs
• Precise Fixpoint-Based Analysis of Programs with Thread-Creation and Procedures
• Precise interprocedural dependence analysis of parallel programs

Described by source

• Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors

Cited in

(8)

• Model checking dynamic pushdown networks
• Reachability for dynamic parametric processes
• A Certified Data Race Analysis for a Java-like Language
• BicolanoMT
• LTL_to_DRA
• Verification of asynchronous programs with nested locks
• Boolean_Expression_Checkers
• Transition_Systems_and_Automata

This page was built for software: Program-Conflict-Analysis