1. 2011-05-30 Re: [Full-disclosure] OT: best practices in formal verific full-disclo Georgi Guninski 2. 2011-05-14 [Full-disclosure] OT: best practices in formal verificatio full-disclo Georgi Guninski