@inproceedings{TUW-220825, author = {Kaufmann, Petra and Kronegger, Martin and Pfandler, Andreas and Seidl, Martina and Widl, Magdalena}, title = {Global State Checker: Towards SAT-Based Reachability Analysis of Communicating State Machines}, booktitle = {Proceedings of the 10th International Workshop on Model Driven Engineering, Verification and Validation co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013)}, year = {2013}, pages = {31--40}, publisher = {CEUR Workshop Proceedings}, address = {Vol-1069}, url = {http://publik.tuwien.ac.at/files/PubDat_220825.pdf}, issn = {1613-0073}, keywords = {SAT, state machine, reachability analysis}, note = {Vortrag: Workshop on Model Driven Engineering, Verification and Validation (MoDeVVa 2013), Miami, USA; 2013-10-01} }