10.8.2006 SAT-based methods for proving properties in Reynolds/O'Hearn Separation Logic Daniel Kröning (currently visiting CBL) Joint work with B. Cook.
Daniel Kroening and Ofer Strichman 1 Decision Procedures in First Order Logic Decision Procedures for Equality Logic.
Daniel Kroening and Ofer Strichman Decision Procedures An Algorithmic Point of View Gaussian Elimination and Simplex.
Linear Completeness Thresholds for Bounded Model Checking Thomas Wahl with: Daniel Kroening, Joel Ouaknine, Ofer Strichman, James Worrell CAV 2011, Snowbird,
1 Selective Term-Level Abstraction with Type-Inference Bryan Brady Advisor: Sanjit Seshia In collaboration with: Randy Bryant, Daniel Kroening, Joel Ouaknine,
Author: Alex Groce, Daniel Kroening, and Flavio Lerda Computer Science Department, Carnegie Mellon University Pittsburgh, PA 15213 Source: R. Alur and.
Decision Procedures An Algorithmic Point of View
Selective Term-Level Abstraction with Type-Inference
Linear Completeness Thresholds for Bounded Model Checking
Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs
