Sriram K. Rajamani Automatic Property Checking for Software: Past, Present and Future. 18-20 2006 conf/sefm/2006 SEFM http://doi.ieeecomputersociety.org/10.1109/SEFM.2006.10 db/conf/sefm/sefm2006.html#Rajamani06