Program-Conflict-Analysis

swMATH32219MaRDI QIDQ43930FDOQ43930

Author name not available (Why is that?)

Described by source

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

Cited In (4)

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

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