Skip to main content

A Symbolic Execution Framework for Algorithm−Level Modelling

Ziyad Hanna and Tom Melham

Book Title
High Level Design Validation and Test Workshop‚ 2009. HLDVT 2009.
Editor
Priyank Kalla and Prabhat Mishra
ISBN
978−1−4244−4823−4
ISSN
1552−6674
Pages
94–99
Publisher
IEEE
Year
2009