Symbolic software model validation.

Cynthia Sturton Rohit Sinha Thurston H. Y. Dang Sakshi Jain Michael McCoyd Wei Yang Tan Petros Maniatis Sanjit A. Seshia David A. Wagner

Published in: MEMOCODE (2013)

Keyphrases

model validation
software systems
software application
software development
computer systems

software architecture
high level
software design
software tools
software developers

symbolic representation
software testing
commercial software
information systems

source code
software package
software packages
expert systems