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

TOTAL DOCUMENTS

41
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By IEEE

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

Z3str3: A String Solver with Theory-aware Heuristics

2017 ◽  
Author(s):  
Murphy Berzish ◽  
Vijay Ganesh ◽  
Yunhui Zheng

SMT-based analysis of switching multi-domain linear Kirchhoff networks

2017 ◽  
Author(s):  
Alessandro Cimatti ◽  
Sergio Mover ◽  
Mirko Sessa

scholarly journals Parameterized verification of algorithms for oblivious robots on a ring

2017 ◽  
Author(s):  
Arnaud Sangnier ◽  
Nathalie Sznajder ◽  
Maria Potop-Butucaru ◽  
Sebastien Tixeuil
Keyword(s):  
Parameterized Verification

Estimating worst-case latency of on-chip interconnects with formal simulation

2017 ◽  
Author(s):  
Freek Verbeek ◽  
Nike van Vugt
Keyword(s):  
Worst Case ◽  
On Chip

First order temporal logic monitoring with BDDs

2017 ◽  
Author(s):  
Klaus Havelund ◽  
Doron Peled ◽  
Dogan Ulus
Keyword(s):  
Temporal Logic ◽  
First Order

FuseIC3: An algorithm for checking large design spaces

2017 ◽  
Author(s):  
Rohit Dureja ◽  
Kristin Yvonne Rozier
Load More ...
Sign in / Sign up

Export Citation Format

Share Document