quick.links

recent.news

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.0

where there is inequality, there is war

what.is.equivset?

equivset is an implementation of the equivalence approximation algorithm for ROBDDs as detailed in the following papers :-

[1] 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/).

authors

equivset is written and maintained by:

releases

equivset is known to compile cleanly on: linux (x86, x86-64, SPARC) and Solaris (SPARC).