Project Description?

[hrj]

Hi,

I found your other projects (Bixie, etc) interesting and am keeping a watch on this one too. Can you please put a few lines of what this is about. I am compiling a list of static-analyser tools for Java here, and want to describe jayhorn (either now, or when it is ready).

thanks!

[martinschaef]

Cool list. Thanks for putting that together.
It will be a static verifier that uses a Horn clause solver under the hood... but that will take some time. In terms of description: its http://seahorn.github.io/ for Java.