ultimate-pa/hanfor ultimate-pa/hanfor

  • Stars
    star
    9
  • Rank 1,934,910 (Top 39 %)
  • Language
    JavaScript
  • License
    GNU Lesser Genera...
  • Created over 6 years ago
  • Updated 2 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ultimate-pa/hanfor
github

ultimate-pa

Reviews

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

Repository Details

Hanfor helps analyzing and formalizing requirements.

More Repositories

1

ultimate

The Ultimate program analysis framework.
Java
192
star
2

smtinterpol

SMTInterpol interpolating SMT solver
Java
59
star
3

javacup

Java Cup Parser Generator
Java
22
star
4

ultimate-benchmarks

C
2
star
5

joogie

Joogie version used in the termination competition 2015.
Java
1
star