Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Daniel Kroening

Deciding Floating-Point Logic With Abstract Conflict Driven Clause Learning

Formal Methods in System Design
HardwareTheoretical Computer ScienceArchitectureSoftware
2013English

Model Checking Boot Code From AWS Data Centers

Formal Methods in System Design
HardwareTheoretical Computer ScienceArchitectureSoftware
2020English

Preface to the Special Issue “SI: Satisfiability Modulo Theories”

Formal Methods in System Design
HardwareTheoretical Computer ScienceArchitectureSoftware
2012English

Abstract Conflict Driven Learning

ACM SIGPLAN Notices
Computer Science
2013English

Abstract Satisfaction

ACM SIGPLAN Notices
Computer Science
2014English

Dynamic Cutoff Detection in Parameterized Concurrent Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Tightening Test Coverage Metrics: A Case Study in Equivalence Checking Using K-Induction

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Using Program Synthesis for Program Analysis

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Property-Driven Fence Insertion Using Reorder Bounded Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Model and Proof Generation for Heap-Manipulating Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy