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 Proving Non-Termination via Loop Acceleration

2019 ◽  
Author(s):  
Florian Frohn ◽  
Jurgen Giesl
Keyword(s):  
Loop Acceleration

scholarly journals Property Directed Inference of Relational Invariants

2019 ◽  
Author(s):  
Dmitry Mordvinov ◽  
Grigory Fedyukovich

scholarly journals Autarkies for DQCNF

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

scholarly journals Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems

2019 ◽  
Author(s):  
Meng Wu ◽  
Jingbo Wang ◽  
Jyotirmoy Deshmukh ◽  
Chao Wang
Keyword(s):  
Cyber Physical Systems ◽  
Physical Systems

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