Franjo Ivancic Zijiang Yang Malay K. Ganai Aarti Gupta Ilya Shlyakhter Pranav Ashar F-Soft: Software Verification Platform. 301-306 2005 conf/cav/2005 CAV http://dx.doi.org/10.1007/11513988_31 db/conf/cav/cav2005.html#IvancicYGGSA05