CTL and Its Usage in the EDA Industry.

Rohit Kapur Paul Reuter Sandeep Bhatia Brion L. Keller

Published in: IEEE Des. Test Comput. (2009)

Keyphrases

temporal logic
model checking
case study
bounded model checking
computation tree logic
particle swarm optimization
fastest growing
data sets
real world
genetic algorithm
differential evolution
usage patterns
economic development
web usage
market share