Symbolic software model validation
Cynthia Sturton
Rohit Sinha
Thurston H. Y. Dang
Sakshi Jain
Michael McCoyd
Wei Yang Tan
Sanjit A. Seshia
David Wagner
MEMOCODE (2013), pp. 97-108
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