BibSonomy publications for /author/Kroening http://www.bibsonomy.org/author/Kroening BibSonomy RSS Feed for /author/Kroening Scoot: A Tool for the Analysis of SystemC Models. dblp http://www.bibsonomy.org/bibtex/23164f37fd3a3999a8aa9f63aa2d32830/dblp dblp 2008-04-21T00:00:00+02:00 dblp
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
]]> Word-Level Predicate-Abstraction and Refinement Techniques for Verifying RTL Verilog. dblp http://www.bibsonomy.org/bibtex/2ae22ca76bba18302ac68feffa6e8b975/dblp dblp 2008-04-08T00:00:00+02:00 dblp
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
]]> Approximation Refinement for Interpolation-Based Model Checking. dblp http://www.bibsonomy.org/bibtex/2036910269ad2aa3eafc33a748cdb10ae/dblp dblp 2008-03-03T00:00:00+01:00 dblp
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
]]> Lifting Propositional Interpolants to the Word-Level. dblp http://www.bibsonomy.org/bibtex/2b7e8c0700a367984d24c0120aa34ca8f/dblp dblp 2008-02-11T00:00:00+01:00 dblp
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
]]> A Complete Bounded Model Checking Algorithm for Pushdown Systems. dblp http://www.bibsonomy.org/bibtex/28715191685c89f50c8cd68ed6f2353b2/dblp dblp 2008-02-11T00:00:00+01:00 dblp
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
]]> Instantiating Uninterpreted Functional Units and Memory System: Functional Verification of the VAMP. dblp http://www.bibsonomy.org/bibtex/2cf3fd439bea94ce593df0f64b1989492/dblp dblp 2008-02-08T00:00:00+01:00 dblp
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
]]> Verifying C++ with STL containers via predicate abstraction. dblp http://www.bibsonomy.org/bibtex/25d1b46d7a7a0d2e004d79468826e1d6f/dblp dblp 2008-02-07T00:00:00+01:00 dblp
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
]]> Model checking concurrent linux device drivers. dblp http://www.bibsonomy.org/bibtex/298fb0de45711af522c652a50cf4121be/dblp dblp 2008-02-07T00:00:00+01:00 dblp
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
]]> Verification of Boolean programs with unbounded thread creation. dblp http://www.bibsonomy.org/bibtex/2e5c39586c1c8d5f25d021b98dc4f0ae3/dblp dblp 2008-01-31T00:00:00+01:00 dblp
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
]]> Formal verification at higher levels of abstraction. dblp http://www.bibsonomy.org/bibtex/258b40167daae11fbc62f056612ccc550/dblp dblp 2007-12-31T00:00:00+01:00 dblp
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
]]>