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 [...]


where there is inequality, there is war


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/).


equivset is written and maintained by:


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