Verification of Stack Manipulation in the SCIP Processor

@inproceedings {267111,
author = {J. Aaron Pendergrass},
title = {Verification of Stack Manipulation in the {SCIP} Processor},
booktitle = {5th International Workshop on Systems Software Verification (SSV 10)},
year = {2010},
address = {Vancouver, BC},
url = {https://www.usenix.org/conference/ssv10/verification-stack-manipulation-scip-processor},
publisher = {USENIX Association},
month = oct
}