Program-Conflict-Analysis

MaRDI QIDQ43930swMATHFDO

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

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
• Verification of asynchronous programs with nested locks
• BicolanoMT
• LTL_to_DRA
• Boolean_Expression_Checkers
• A Certified Data Race Analysis for a Java-like Language
• Transition_Systems_and_Automata

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