Proving Termination of Nonlinear Command Sequences
Domagoj Babic, Byron Cook, Alan J. Hu, Zvonimir Rakamaric. Formal Aspects of Computing (FAC), 2012. (Invited.)
Read the rest of this entry »Archive for the ‘Journal Publications’ Category
A Low-Level Memory Model and an Accompanying Reachability Predicate
Shaunak Chatterjee, Shuvendu Lahiri, Shaz Qadeer, Zvonimir Rakamaric. International Journal on Software Tools for Technology Transfer (STTT), 2009. (Invited.)
Read the rest of this entry »
