×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [daniel kroening]
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
215 views
Daniel Kroening and Ofer Strichman 1 Decision Procedures in First Order Logic Decision Procedures for Equality Logic
218 views
Daniel Kroening and Ofer Strichman Decision Procedures An Algorithmic Point of View Gaussian Elimination and Simplex
222 views
Linear Completeness Thresholds for Bounded Model Checking Thomas Wahl with: Daniel Kroening, Joel Ouaknine, Ofer Strichman, James Worrell CAV 2011, Snowbird,
217 views
1 Selective Term-Level Abstraction with Type-Inference Bryan Brady Advisor: Sanjit Seshia In collaboration with: Randy Bryant, Daniel Kroening, Joel Ouaknine,
216 views
Author: Alex Groce, Daniel Kroening, and Flavio Lerda Computer Science Department, Carnegie Mellon University Pittsburgh, PA 15213 Source: R. Alur and
227 views
Decision Procedures An Algorithmic Point of View
29 views
Selective Term-Level Abstraction with Type-Inference
31 views
Linear Completeness Thresholds for Bounded Model Checking
48 views
Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs
45 views