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