Program-Conflict-Analysis

swMATH32219MaRDI QIDQ43930FDOQ43930

Author name not available (Why is that?)

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)

• Transition_Systems_and_Automata
• 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
• BicolanoMT
• LTL_to_DRA
• Boolean_Expression_Checkers

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