Home
Papers
Download
Documentation
Examples
Benchmarks
Mailing Lists
Release Notes
License
BAT
Bit-level Analysis Tool, version 2
Release Notes
BAT version 2 was released on October 12, 2014.
BAT version 0.2 was released on January 26, 2007.
BAT version 0.1 was released on December 21, 2006.