Word-level Formal Verification via SMT Solving
WOLFLING DIT-PRJ-10-026
Status NOT active project
DISI role Coordinator
Project type Research Project
Dimension International
Acquisition date 2010-02-10
Start date 2009-02-01
End date 2012-01-31
SAP code 40101496
Project details
Project astract Investigate and implement novel SMT techniques and tools for word-level reasoning, efficent and versatile enough for being used as core engines for formally verifyng designs at word level.<br/>
Fundings 131000 €