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)

• Verification of Asynchronous Programs with Nested Locks
• Model checking dynamic pushdown networks
• Reachability for Dynamic Parametric Processes
• A Certified Data Race Analysis for a Java-like Language

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