High-Level Petri Net Model Checking with AlPiNA
Steve Hostettler, Alexis Marechal, Alban Linard, Matteo Risoldi, Didier Buchs · Fundamenta Informaticae · 2011
Although model checking is heavily used in the hardware domain, it did not take off in software engineering yet. One of the possible reasons is that software models are very complex. They integrate many dimensions such as data types and concurrency,