Download SCIFF

The SCIFF Abductive Proof Procedure

Overview

Usage

Contacts

Acknowledgements

Publications

SCIFF Publications

Main publication:

The SCIFF framework

Declarative Semantics

Operational Semantics

Implementation & Benchmarks

Applications

Technical reports: