Program-Conflict-Analysis

swMATH32219MaRDI QIDQ43930

No author found.

Described by source

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

Related Items (4)

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

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