bishoksan/RAHFT

Stars
7
Rank 2,282,444 (Top 46 %)
Language
Prolog
License
Apache License 2.0
Created almost 9 years ago
Updated over 2 years ago

bishoksan/RAHFT

bishoksan

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

RAHFT: A tool for verifying Horn clauses using abstract interpretation and finite tree automata

LHornSolver

A linear Horn clause solver for non-linear Horn clauses.

PI-Horn

Preconditions inferrer for Horn clauses

DFTA

Determinisation and Completion of Finite Tree Automata

SoMoLIAInterpolant

Interpolant generation for Modular LIA