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

Predicate abstraction for reactive synthesis

2014 ◽  
Author(s):  
Adam Walker ◽  
Leonid Ryzhyk
Keyword(s):  
Predicate Abstraction ◽  
Reactive Synthesis

Under-approximate flowpipes for non-linear continuous systems

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

scholarly journals Finding conflicting instances of quantified formulas in SMT

2014 ◽  
Author(s):  
Andrew Reynolds ◽  
Cesare Tinelli ◽  
Leonardo de Moura

scholarly journals Efficient extraction of Skolem functions from QRAT proofs

2014 ◽  
Author(s):  
Marijn J. H. Heule ◽  
Martina Seidl ◽  
Armin Biere
Keyword(s):  
Skolem Functions ◽  
Efficient Extraction

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