The Scoop on the New Incisive Enterprise Verifier
By
Sarah Lynne Cooper Lundell
on
October 13, 2009
Last week we announced Incisive Enterprise Verifier (IEV). What is cool about IEV is that it integrates formal analysis and simulation engines in unique ways that provide users with more power. One of the great things about IEV is that it is easy to use
Read More »
Comments
(0)
|
 |
The Scoop on Tracking & Validating Formal Assumptions – You Don’t Need to Assume
By
Sarah Lynne Cooper Lundell
on
July 17, 2009
" Tackling formal assumptions through verification planning " is a recent article by Chris Komar and Frank Armbruster that is available on EDN. This article has fun with the old adage about what happens when you assume but very quickly get serious
Read More »
Comments
(0)
|
|
View older posts
»
|