RAHFT: A tool for verifying Horn clauses using abstract interpretation and finite tree automata
Primary LanguagePrologApache License 2.0Apache-2.0