REGISTER | LOGIN
Breaking News
Design How-To

How formal MDV can eliminate IP integration uncertainty

1/9/2012 02:06 PM EST
1 Comment
NO RATINGS
Page 1 / 4 Next >
More Related Links
View Comments: Newest First | Oldest First | Threaded View
cedricfau
User Rank
Author
re: How formal MDV can eliminate IP integration uncertainty
cedricfau   1/9/2012 5:32:38 PM
NO RATINGS
This is an interesting approach but not so easy to implement. Defining all functionalities through assertions is still very difficult. Mutation analysis, as Springsoft Certitude provides, is more appropriate to current verification flows/terams relying on simulations.

Most Recent Comments
David Ashton
 
Smartalix
 
Sang-Yun
 
Sang-Yun
 
realjjj
 
DMcCunney
 
David Ashton
 
rick merritt
 
rick merritt
Like Us on Facebook
EE Times on Twitter
EE Times Twitter Feed