CheckSpec: A Tool for Consistency and Coverage Analysis of Assertion Specifications.

Ansuman Banerjee Kausik Datta Pallab Dasgupta

Published in: ATVA (2008)

Keyphrases

artificial intelligence
image analysis
real time
search engine
high level
relational databases
evolutionary algorithm
statistical analysis
user friendly
quantitative analysis
software tools