Transforming sources to petri nets: a way to analyze execution of parallel programs
Jean-Baptiste Voron, Fabrice Kordon · 2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very limited knowledge of the underlying techniques. However, the specification must be given using dedicated notations that are no