|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DIFTS@FMCAD ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | In-Ho Moon, Kevin Harer |
Abstraction-Based Livelock/Deadlock Checking for Hardware Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DIFTS@FMCAD ![In: Proceedings of the Second International Workshop on Design and Implementation of Formal Tools and Systems, Portland, OR, USA, October 19, 2013., 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Marco Palena, Gianpiero Cabodi, Alan Mishchenko |
Trading-off Incrementality and Dynamic Restart of Multiple Solvers in IC3. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DIFTS@FMCAD ![In: Proceedings of the Second International Workshop on Design and Implementation of Formal Tools and Systems, Portland, OR, USA, October 19, 2013., 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Mathias Preiner, Aina Niemetz, Armin Biere |
Lemmas on Demand for Lambdas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DIFTS@FMCAD ![In: Proceedings of the Second International Workshop on Design and Implementation of Formal Tools and Systems, Portland, OR, USA, October 19, 2013., 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Sonali Dutta, Moshe Y. Vardi, Deian Tabakov |
CHIMP: A Tool for Assertion-Based Dynamic Verification of SystemC Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DIFTS@FMCAD ![In: Proceedings of the Second International Workshop on Design and Implementation of Formal Tools and Systems, Portland, OR, USA, October 19, 2013., 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Jiang Long, Robert K. Brayton, Michael L. Case |
LEC: Learning Driven Data-path Equivalence Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DIFTS@FMCAD ![In: Proceedings of the Second International Workshop on Design and Implementation of Formal Tools and Systems, Portland, OR, USA, October 19, 2013., 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Niklas Eén, Alan Mishchenko |
A Fast Reparameterization Procedure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DIFTS@FMCAD ![In: Proceedings of the Second International Workshop on Design and Implementation of Formal Tools and Systems, Portland, OR, USA, October 19, 2013., 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
DIFTS@FMCAD ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DIFTS@FMCAD ![In: Proceedings of the First International Workshop on Design and Implementation of Formal Tools and Systems, Austin, USA, November 3, 2011, 2011, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DIFTS@FMCAD ![In: Proceedings of the First International Workshop on Design and Implementation of Formal Tools and Systems, Austin, USA, November 3, 2011, 2011, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Siert Wieringa |
On Incremental Satisfiability and Bounded Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DIFTS@FMCAD ![In: Proceedings of the First International Workshop on Design and Implementation of Formal Tools and Systems, Austin, USA, November 3, 2011, 2011, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Konstantine Arkoudas, Ritu Chadha, C. Jason Chiang |
An Application of Formal Methods to Cognitive Radios. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DIFTS@FMCAD ![In: Proceedings of the First International Workshop on Design and Implementation of Formal Tools and Systems, Austin, USA, November 3, 2011, 2011, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Zyad Hassan, Yan Zhang 0027, Fabio Somenzi |
A Study of Sweeping Algorithms in the Context of Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DIFTS@FMCAD ![In: Proceedings of the First International Workshop on Design and Implementation of Formal Tools and Systems, Austin, USA, November 3, 2011, 2011, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Peter Fontana, Rance Cleaveland |
Data Structure Choices for On-the-Fly Model Checking of Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DIFTS@FMCAD ![In: Proceedings of the First International Workshop on Design and Implementation of Formal Tools and Systems, Austin, USA, November 3, 2011, 2011, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
Displaying result #1 - #14 of 14 (100 per page; Change: )
|
|