Carnegie Mellon University

Software Engineering Institute

Home
Publications
Authors
Daniel Kroening

Daniel Kroening

Daniel Kroening is an SEI alumni employee.

All

SAT-Based Predicate Abstraction of Programs

September 1, 2005 • Technical Report

By Edmund Clarke , Daniel Kroening , Natasha Sharygina , Karen Yorav (IBM)

Word Level Predicate Abstraction and Refinement for Verifying RTL Verilog

June 1, 2005 • White Paper

By Daniel Kroening , Natasha Sharygina , Edmund Clarke

Report a Vulnerability to CERT/CC
Subscribe to SEI Bulletin
Request Permission to Use SEI Materials

Carnegie Mellon University
Software Engineering Institute
4500 Fifth Avenue
Pittsburgh, PA 15213-2612
412-268-5800

Contact Us

Office Locations
Additional Sites Directory
Legal
Privacy Notice
CMU Ethics Hotline
www.sei.cmu.edu

2025

Carnegie Mellon University