F-Soft: Software Verification Platform
Zijiang Yang
Malay K. Ganai
Aarti Gupta
Ilya Shlyakhter
Pranav Ashar
CAV (2005), pp. 301-306
Abstract
Learn more about how we conduct our research
We maintain a portfolio of research projects, providing individuals and teams the freedom to emphasize specific types of work.
Our research philosophy