DC2: A framework for scalable, scope-bounded software verification
Aarti Gupta
Sriram Sankaranarayanan
Naoto Maeda
Hiroki Tokuoka
Takashi Imoto
Yoshiaki Miyazaki
ASE (2011), pp. 133-142
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