[email protected]
[Top] [All Lists]

[Haskell-cafe] ANN: afv-0.0.2

Subject: [Haskell-cafe] ANN: afv-0.0.2
From: Tom Hawkins
Date: Sun, 17 Jan 2010 19:16:03 +0100
AFV is an infinite state model checker for simple, iterative C
programs.  This release adds some new name checks, a few minor bug
fixes, basic support for functions, and a little stronger type
checking.  Though most of the C language is still not supported, it
can verify a lot of interesting behavior -- including one of my bugs
that pulverized about $40K of hydraulics hardware last year.  :-)

Haskell-Cafe mailing list
[email protected]

<Prev in Thread] Current Thread [Next in Thread>
  • [Haskell-cafe] ANN: afv-0.0.2, Tom Hawkins <=