Boolean and 2-adic Numbers Based Techniques for Verifying Synchronous Design.

Published in: CAV (1997)

Keyphrases

real world
design methodology
boolean functions
design patterns
expert systems
model checking
computer aided
design issues
real time
design decisions
temporal logic
real valued
software architecture
digital libraries
multiscale
decision trees
knowledge base
machine learning