Find link

language:

Find link is a tool written by Edward Betts.

searching for Constrained Horn clauses 1 found (3 total)

alternate case: constrained Horn clauses

Interference freedom (5,613 words) [view diff] exact match in snippet view article find links to article

verification tool for C programs. It is based on the concept of constrained Horn clauses, and it handles programs operating on the heap using a theory of