Tayfun Elmas, Serdar Tasiran. VyrdMC: Driving Runtime Refinement Checking with Model Checkers. Electronic Notes in Theoretical Computer Science, 144(4):41-56, 2006. [doi]
@article{ElmasT06, title = {VyrdMC: Driving Runtime Refinement Checking with Model Checkers}, author = {Tayfun Elmas and Serdar Tasiran}, year = {2006}, doi = {10.1016/j.entcs.2006.02.003}, url = {http://dx.doi.org/10.1016/j.entcs.2006.02.003}, tags = {model checking, meta-model, refinement, Meta-Environment}, researchr = {https://researchr.org/publication/ElmasT06}, cites = {0}, citedby = {0}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {144}, number = {4}, pages = {41-56}, }