Global State Checker: Towards SAT-Based Reachability Analysis of Communicating State Machines.

Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl

Browse the full MODELS paper archive.