2014 Formal Methods in Computer-Aided Design (FMCAD)
Latest Publications

TOTAL DOCUMENTS

43
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By IEEE

9780983567844
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A tour of CVC4: How it works, and how to use it

2014 ◽  
Author(s):  
Morgan Deters ◽  
Andrew Reynolds ◽  
Tim King ◽  
Clark Barrett ◽  
Cesare Tinelli

Under-approximate flowpipes for non-linear continuous systems

2014 ◽  
Author(s):  
Xin Chen Rwth ◽  
Sriram Sankaranarayanan ◽  
Erika Abraham
Keyword(s):  
Continuous Systems ◽  
Non Linear

Template-based circuit understanding

2014 ◽  
Author(s):  
Adria Gascon ◽  
Pramod Subramanyan ◽  
Bruno Dutertre ◽  
Ashish Tiwari ◽  
Dejan Jovanovic ◽  
...  
Load More ...
Sign in / Sign up

Export Citation Format

Share Document