Using the extensible model checker xtl to verify stac business specifications Export

@misc{citeulike:1110967, abstract = {StAC is a business specification language that has been developed as part of a partnership program between IBM UK Labs. and the University of Southampton. It is highly desirable for Business specification languages like StAC to have a way to explore the correctness of specifications. We provide some details about how XTL can provide model checking capabilities for StAC and why it proved to be more successful than SPIN and STeP in that sense.}, author = {Augusto, J. and Leuschel, M. and Butler, M. and Ferreira, C.}, citeulike-article-id = {1110967}, citeulike-linkout-0 = {http://citeseer.ist.psu.edu/augusto03using.html}, citeulike-linkout-1 = {http://citeseer.lcs.mit.edu/augusto03using.html}, citeulike-linkout-2 = {http://citeseer.ifi.unizh.ch/augusto03using.html}, citeulike-linkout-3 = {http://citeseer.comp.nus.edu.sg/augusto03using.html}, keywords = {compensation, model-check, stac}, posted-at = {2007-02-18 03:25:57}, priority = {4}, title = {Using the extensible model checker xtl to verify stac business specifications}, url = {http://citeseer.ist.psu.edu/augusto03using.html}, year = {2003} }

TY - GEN ID - citeulike:1110967 L3 - citeulike-article-id:1110967 N2 - StAC is a business specification language that has been developed as part of a partnership program between IBM UK Labs. and the University of Southampton. It is highly desirable for Business specification languages like StAC to have a way to explore the correctness of specifications. We provide some details about how XTL can provide model checking capabilities for StAC and why it proved to be more successful than SPIN and STeP in that sense. TI - Using the extensible model checker xtl to verify stac business specifications KW - compensation KW - model-check KW - stac AU - Augusto, J AU - Leuschel, M AU - Butler, M AU - Ferreira, C PY - 2003/// UR - http://citeseer.ist.psu.edu/augusto03using.html ER -