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

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

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 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