|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 14 publication records. Showing 14 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Malay K. Ganai, Alper Sen 0001 (eds.) |
Proceedings of the Second International Workshop on Design and Implementation of Formal Tools and Systems, Portland, OR, USA, October 19, 2013.  |
DIFTS@FMCAD  |
2014 |
DBLP BibTeX RDF |
|
| 1 | In-Ho Moon, Kevin Harer |
Abstraction-Based Livelock/Deadlock Checking for Hardware Verification. |
DIFTS@FMCAD |
2013 |
DBLP BibTeX RDF |
|
| 1 | Marco Palena, Gianpiero Cabodi, Alan Mishchenko |
Trading-off Incrementality and Dynamic Restart of Multiple Solvers in IC3. |
DIFTS@FMCAD |
2013 |
DBLP BibTeX RDF |
|
| 1 | Mathias Preiner, Aina Niemetz, Armin Biere |
Lemmas on Demand for Lambdas. |
DIFTS@FMCAD |
2013 |
DBLP BibTeX RDF |
|
| 1 | Sonali Dutta, Moshe Y. Vardi, Deian Tabakov |
CHIMP: A Tool for Assertion-Based Dynamic Verification of SystemC Models. |
DIFTS@FMCAD |
2013 |
DBLP BibTeX RDF |
|
| 1 | Jiang Long, Robert K. Brayton, Michael L. Case |
LEC: Learning Driven Data-path Equivalence Checking. |
DIFTS@FMCAD |
2013 |
DBLP BibTeX RDF |
|
| 1 | Niklas Eén, Alan Mishchenko |
A Fast Reparameterization Procedure. |
DIFTS@FMCAD |
2013 |
DBLP BibTeX RDF |
|
| 1 | Malay K. Ganai, Armin Biere (eds.) |
Proceedings of the First International Workshop on Design and Implementation of Formal Tools and Systems, Austin, USA, November 3, 2011 |
DIFTS@FMCAD |
2012 |
DBLP BibTeX RDF |
|
| 1 | Jiang Long, Sayak Ray, Baruch Sterin, Alan Mishchenko, Robert K. Brayton |
Enhancing ABC for stabilization verification of SystemVerilog/VHDL models. |
DIFTS@FMCAD |
2011 |
DBLP BibTeX RDF |
|
| 1 | Finn Haedicke, Stefan Frehse, Görschwin Fey, Daniel Große, Rolf Drechsler |
metaSMT: Focus on Your Application not on Solver Integration. |
DIFTS@FMCAD |
2011 |
DBLP BibTeX RDF |
|
| 1 | Siert Wieringa |
On Incremental Satisfiability and Bounded Model Checking. |
DIFTS@FMCAD |
2011 |
DBLP BibTeX RDF |
|
| 1 | Konstantine Arkoudas, Ritu Chadha, C. Jason Chiang |
An Application of Formal Methods to Cognitive Radios. |
DIFTS@FMCAD |
2011 |
DBLP BibTeX RDF |
|
| 1 | Zyad Hassan, Yan Zhang 0027, Fabio Somenzi |
A Study of Sweeping Algorithms in the Context of Model Checking. |
DIFTS@FMCAD |
2011 |
DBLP BibTeX RDF |
|
| 1 | Peter Fontana, Rance Cleaveland |
Data Structure Choices for On-the-Fly Model Checking of Real-Time Systems. |
DIFTS@FMCAD |
2011 |
DBLP BibTeX RDF |
|
Displaying result #1 - #14 of 14 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license