2010-09-14 - the slides from my recent (re-)presentation (with lots of extra bits) at SEC-T 2010, will soon be online! exploit code [...]
2009-12-18 - The slides from my recent presentation at CRESTCon 2009, the 'replacement' for CHECKCon, are now online! exploit code for the demonstrations [...]
:.home.tools.equivset1.0where there is inequality, there is war
equivset is an implementation of the equivalence approximation algorithm for ROBDDs as detailed in the following papers :-
 Widening ROBDDs with Prime Implicants. Neil Kettle, Andy King, and Tadeusz Strzemecki. In Holger Hermanns and Jens Palsberg, editors, Twelfth International Conference on Tools and Algorithms for the Construction and Analysis of Systems, volume 3920 of Lecture Notes in Computer Science, pages 105-119. Springer-Verlag, March 2006.
Note: to compile this code you will require CUDD (http://vlsi.colorado.edu/~fabio/).
equivset is written and maintained by:
- Neil Kettle - mu-b [at] digit-labs.org
equivset is known to compile cleanly on: linux (x86, x86-64, SPARC) and Solaris (SPARC).
- equivset-1.0.tar.gz - (md5sum 0f0949afd1317a33dbcc2e4e2b781954)