Martin Blicha

Latest

• CHC Model Validation with Proof Guarantees
• Theory-Specific Proof Steps Witnessing Correctness of SMT Executions