Login / Signup
): a step toward scalability in system verification.
Hossein M. Sheini
Karem A. Sakallah
Published in:
ICCAD (2006)
Keyphrases
</>
post processing
model checking
concurrent systems
genetic algorithm
expert systems
fault tolerance
formal analysis
highly scalable
formal verification