henkele

Pinned Repositories

• hanfor

  Hanfor helps analyzing and formalizing requirements.

  Language:JavaScript9112533

• smtinterpol

  SMTInterpol interpolating SMT solver

  Language:Java591811617

• ultimate

  The Ultimate program analysis framework.

  Language:Java1943158440

henkele's Repositories