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

TOTAL DOCUMENTS

40

(FIVE YEARS 40)

H-INDEX

3

(FIVE YEARS 3)

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 Formal Methods in Computer Aided Design (FMCAD) ◽

10.23919/fmcad.2019.8894248 ◽

2019 ◽

Author(s):

Faria Kalim ◽

Karl Palmskog ◽

Jayasi Mehar ◽

Adithya Murali ◽

Indranil Gupta ◽

...

Download Full-text

[Front cover]

2019 Formal Methods in Computer Aided Design (FMCAD) ◽

10.23919/fmcad.2019.8894260 ◽

2019 ◽

Keyword(s):

Download Full-text

SuSLik: Synthesis of Safe Pointer-Manipulating Programs (Invited Tutorial)

2019 Formal Methods in Computer Aided Design (FMCAD) ◽

10.23919/fmcad.2019.8894256 ◽

2019 ◽

Author(s):

Nadia Polikarpova

Download Full-text

Localizing Quantifiers for DQBF

2019 Formal Methods in Computer Aided Design (FMCAD) ◽

10.23919/fmcad.2019.8894269 ◽

2019 ◽

Author(s):

Aile Ge-Emst ◽

Christoph Scholl ◽

Ralf Wimmer

Download Full-text

Scalable Translation Validation of Unverified Legacy OS Code

2019 Formal Methods in Computer Aided Design (FMCAD) ◽

10.23919/fmcad.2019.8894252 ◽

2019 ◽

Author(s):

Amer Tahat ◽

Sarang Joshi ◽

Pronnoy Goswami ◽

Binoy Ravindran

Keyword(s):

Translation Validation

Download Full-text

Proving Non-Termination via Loop Acceleration

2019 Formal Methods in Computer Aided Design (FMCAD) ◽

10.23919/fmcad.2019.8894271 ◽

2019 ◽

Author(s):

Florian Frohn ◽

Jurgen Giesl

Keyword(s):

Loop Acceleration

Download Full-text

Property Directed Inference of Relational Invariants

2019 Formal Methods in Computer Aided Design (FMCAD) ◽

10.23919/fmcad.2019.8894274 ◽

2019 ◽

Author(s):

Dmitry Mordvinov ◽

Grigory Fedyukovich

Download Full-text

Autarkies for DQCNF

2019 Formal Methods in Computer Aided Design (FMCAD) ◽

10.23919/fmcad.2019.8894263 ◽

2019 ◽

Author(s):

Oliver Kullmann ◽

Ankit Shukla

Download Full-text

Unification-based Pointer Analysis without Oversharing

2019 Formal Methods in Computer Aided Design (FMCAD) ◽

10.23919/fmcad.2019.8894275 ◽

2019 ◽

Author(s):

Jakub Kuderski ◽

Jorge A. Navas ◽

Arie Gurfinkel

Keyword(s):

Pointer Analysis

Download Full-text

Verifying Large Multipliers by Combining SAT and Computer Algebra

2019 Formal Methods in Computer Aided Design (FMCAD) ◽

10.23919/fmcad.2019.8894250 ◽

2019 ◽

Author(s):

Daniela Kaufmann ◽

Armin Biere ◽

Manuel Kauers

Keyword(s):

Computer Algebra

Download Full-text