@inproceedings{Cassez_MPS_15, publisher = {Springer}, doi = {10.1007/978-3-662-46681-0_39}, month = apr, booktitle = {SV-COMP-2015}, paperurl = {https://trustworthy.systems/publications/nicta_full_text/8403.pdf}, year = {2015}, editor = {{Christel Baier, Cesare Tinelli }}, keywords = {software verification, smt solving}, title = {Perentie: Modular Trace Refinement and Selective Value Tracking}, pages = {439--442}, author = {Cassez, Franck and Matsuoka, Takashi and Pierzchalski, Edward and Smyth, Nathan}, address = {London, UK} }