Daniel Kroening and Ofer Strichman 1 Decision Procedures in First Order Logic Decision Procedures for Equality Logic.
© 2012 Carnegie Mellon University Compositional Sequentialization of Periodic Programs Sagar Chaki 1, Arie Gurfinkel 1, Soonho Kong 2, Ofer Strichman 3.
© 2013 Carnegie Mellon University Static Analysis of Real-Time Embedded Systems with REK Arie Gurfinkel 1 joint work with Sagar Chaki 1, Ofer Strichman.
Linear Completeness Thresholds for Bounded Model Checking Thomas Wahl with: Daniel Kroening, Joel Ouaknine, Ofer Strichman, James Worrell CAV 2011, Snowbird,
Ofer Strichman, Technion 1 Decision Procedures in First Order Logic Part III – Decision Procedures for Equality Logic and Uninterpreted Functions.
Decision Procedures An Algorithmic Point of View
Linear Completeness Thresholds for Bounded Model Checking
Ofer Strichman, Technion 1 Decision Procedures in First Order Logic Part II – Equality Logic and Uninterpreted Functions.
Deciding a Combination of Theories - Decision Procedure - Changki Hong @ pswlab Combination of Theories Daniel Kroening, Ofer Strichman Presented by Changki.