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

TOTAL DOCUMENTS

34
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By IEEE

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

Automatic Synchronization for GPU Kernels

2018 ◽  
Author(s):  
Sourav Anand ◽  
Nadia Polikarpova
Keyword(s):  
Automatic Synchronization

The FMCAD 2018 Graduate Student Forum

2018 ◽  
Author(s):  
Dejan Jovanovic ◽  
Andrew Reynolds
Keyword(s):  
Graduate Student

scholarly journals Template-Based Verification of Heap-Manipulating Programs

2018 ◽  
Author(s):  
Viktor Malik ◽  
Martin Hruska ◽  
Peter Schrammel ◽  
Tomas Vojnar

scholarly journals BMC with Memory Models as Modules

2018 ◽  
Author(s):  
Hernan Ponce-de-Leon ◽  
Florian Furbach ◽  
Keijo Heljanko ◽  
Roland Meyer
Keyword(s):  
Memory Models ◽  
With Memory

Post-Verification Debugging and Rectification of Finite Field Arithmetic Circuits using Computer Algebra Techniques

2018 ◽  
Author(s):  
Vikas Rao ◽  
Utkarsh Gupta ◽  
Irina Ilioaea ◽  
Arpitha Srinath ◽  
Priyank Kalla ◽  
...  
Keyword(s):  
Finite Field ◽  
Computer Algebra ◽  
Arithmetic Circuits ◽  
Finite Field Arithmetic

scholarly journals The ELDARICA Horn Solver

2018 ◽  
Author(s):  
Hossein Hojjat ◽  
Philipp Rummer

CoSA: Integrated Verification for Agile Hardware Design

2018 ◽  
Author(s):  
Cristian Mattarei ◽  
Makai Mann ◽  
Clark Barrett ◽  
Ross G. Daly ◽  
Dillon Huff ◽  
...  
Keyword(s):  
Hardware Design

scholarly journals Bit-Vector Interpolation and Quantifier Elimination by Lazy Reduction

2018 ◽  
Author(s):  
Peter Backeman ◽  
Philipp Rummer ◽  
Aleksandar Zeljic
Keyword(s):  
Quantifier Elimination ◽  
Bit Vector

scholarly journals Certifying Proofs for LTL Model Checking

2018 ◽  
Author(s):  
Alberto Griggio ◽  
Marco Roveri ◽  
Stefano Tonetta
Keyword(s):  
Model Checking ◽  
Ltl Model Checking
Load More ...
Sign in / Sign up

Export Citation Format

Share Document