Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl. Global State Checker: Towards SAT-Based Reachability Analysis of Communicating State Machines. In Frédéric Boulanger, Michalis Famelis, Daniel Ratiu, editors, Proceedings of the 10th International Workshop on Model Driven Engineering, Verification and Validation MoDeVVa 2013, co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2013), Miami, Florida, October 1st, 2013. Volume 1069 of CEUR Workshop Proceedings, pages 31-40, CEUR-WS.org, 2013. [doi]
Abstract is missing.