BibSonomy :: author  ::

bookmarks

publications

(47)

• Scoot: A Tool for the Analysis of SystemC Models.
  Nicolas Blanc and Daniel Kroening and Natasha Sharygina TACAS 467-470 (2008)
  to dblp by dblp on 2008-04-21 00:00:00
  | URL | BibTeX  
• Word-Level Predicate-Abstraction and Refinement Techniques for Verifying RTL Verilog.
  Himanshu Jain and Daniel Kroening and Natasha Sharygina and Edmund M. Clarke IEEE Trans. on CAD of Integrated Circuits and Systems 27 366-379 (2008)
  to dblp by dblp on 2008-04-08 00:00:00
  | URL | BibTeX  
• Approximation Refinement for Interpolation-Based Model Checking.
  Vijay D'Silva and Mitra Purandare and Daniel Kroening VMCAI 68-82 (2008)
  to dblp by dblp on 2008-03-03 00:00:00
  | URL | BibTeX  
• Lifting Propositional Interpolants to the Word-Level.
  Daniel Kroening and Georg Weissenbacher FMCAD 85-89 (2007)
  to dblp by dblp on 2008-02-11 00:00:00
  | URL | BibTeX  
• A Complete Bounded Model Checking Algorithm for Pushdown Systems.
  Gérard Basler and Daniel Kroening and Georg Weissenbacher Haifa Verification Conference 202-217 (2007)
  to dblp by dblp on 2008-02-11 00:00:00
  | URL | BibTeX  
• Instantiating Uninterpreted Functional Units and Memory System: Functional Verification of the VAMP.
  Sven Beyer and Christian Jacobi and Daniel Kroening and Dirk Leinenbach and Wolfgang J. Paul CHARME 51-65 (2003)
  to dblp by dblp on 2008-02-08 00:00:00
  | URL | BibTeX  
• Verifying C++ with STL containers via predicate abstraction.
  Nicolas Blanc and Alex Groce and Daniel Kroening ASE 521-524 (2007)
  to dblp by dblp on 2008-02-07 00:00:00
  | URL | BibTeX  
• Model checking concurrent linux device drivers.
  Thomas Witkowski and Nicolas Blanc and Daniel Kroening and Georg Weissenbacher ASE 501-504 (2007)
  to dblp by dblp on 2008-02-07 00:00:00
  | URL | BibTeX  
• Verification of Boolean programs with unbounded thread creation.
  Byron Cook and Daniel Kroening and Natasha Sharygina Theor. Comput. Sci. 388 227-242 (2007)
  to dblp by dblp on 2008-01-31 00:00:00
  | URL | BibTeX  
• Formal verification at higher levels of abstraction.
  Daniel Kroening and Sanjit A. Seshia ICCAD 572-578 (2007)
  to dblp by dblp on 2007-12-31 00:00:00
  | URL | BibTeX