2019 Formal Methods in Computer Aided Design (FMCAD)
Latest Publications

TOTAL DOCUMENTS

40
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)

Published By IEEE

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

Kaizen: Building a Performant Blockchain System Verified for Consensus and Integrity

2019 ◽  
Author(s):  
Faria Kalim ◽  
Karl Palmskog ◽  
Jayasi Mehar ◽  
Adithya Murali ◽  
Indranil Gupta ◽  
...  

Localizing Quantifiers for DQBF

2019 ◽  
Author(s):  
Aile Ge-Emst ◽  
Christoph Scholl ◽  
Ralf Wimmer

Scalable Translation Validation of Unverified Legacy OS Code

2019 ◽  
Author(s):  
Amer Tahat ◽  
Sarang Joshi ◽  
Pronnoy Goswami ◽  
Binoy Ravindran
Keyword(s):  
Translation Validation

scholarly journals Autarkies for DQCNF

2019 ◽  
Author(s):  
Oliver Kullmann ◽  
Ankit Shukla

Extending enumerative function synthesis via SMT-driven classification

2019 ◽  
Author(s):  
Haniel Barbosa ◽  
Andrew Reynolds ◽  
Daniel Larraz ◽  
Cesare Tinelli
Load More ...
Sign in / Sign up

Export Citation Format

Share Document