@inproceedings{2005_spin_splat, address = {Berlin, Heidelberg}, author = {Anil Madhavapeddy and Dave Scott and Richard Sharp}, booktitle = {Model Checking Software}, doi = {10.1007/11537328\_23}, editor = {Godefroid, Patrice}, month = {aug}, pages = {277--281}, publisher = {Springer}, title = {SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions}, url = {http://link.springer.com/10.1007/11537328\_23}, volume = {3639}, year = {2005}}