horn-clauses topic

List horn-clauses repositories

seahorn

430
Stars
132
Forks
Watchers

SeaHorn Verification Framework

verified publisher icon seahorn

hoice

47
Stars
11
Forks
Watchers

An ICE-based predicate synthesizer for Horn clauses.

verified publisher icon hopv

eldarica

76
Stars
21
Forks
Watchers

The Eldarica model checker

verified publisher icon uuverifiers