21st CADE 2007:
Bremen, Germany - VERIFY
Abstracts of Invited Talks
: Reflecting Linear Arithmetic: From Dense Linear Orders to Presburger Arithmetic.
: Lightweight Verification with Dependent Types.
: Trends and Challenges in Satisfiability Modulo Theories.
: Combinations of Theories and the Bernays-Schönfinkel-Ramsey Class.
: Combining Deduction and Algebraic Constraints for Hybrid System Analysis.
: A Sequent Calculus for Integer Arithmetic with Counterexample Generation.
, founded at