Back to Search
Start Over
Path predicate abstraction by complete interval property checking.
- Source :
- Formal Methods in Computer-Aided Design (FMCAD), 2010; 2010, p207-215, 9p
- Publication Year :
- 2010
Details
- Language :
- English
- ISBNs :
- 9781457707346
- Database :
- Complementary Index
- Journal :
- Formal Methods in Computer-Aided Design (FMCAD), 2010
- Publication Type :
- Conference
- Accession number :
- 81392457