"No bird soars too high, if he soars with his own wings." W. Blake

Montgomery Carter

I am a BS/MS student in the School of Computing at the University of Utah working on the SMACK software verifier.

Montgomery Carter,
BS/MS Student

Contact
montgomery.carter@gmail.com
School of Computing,
University of Utah
50 South Central Campus Drive,
Salt Lake City, Utah 84112

Publications

Montgomery Carter, Shaobo He, Jonathan Whitaker, Zvonimir Rakamaric, Michael Emmi
SMACK Software Verification Toolchain
Proceedings of the 38th IEEE/ACM International Conference on Software Engineering (ICSE) Companion, 2016

Arvind Haran, Montgomery Carter, Michael Emmi, Akash Lal, Shaz Qadeer, Zvonimir Rakamaric
SMACK+Corral: A Modular Verifier (Competition Contribution)
Proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2015