Jump to Content

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

Research Areas