Hardware Verification and Beyond: Using B at AWE.

Neil Evans Wilson Ifill

Published in: B (2007)

Keyphrases

blue gene
formal methods
model checking
formal analysis
person identification
asynchronous circuits
database
genetic algorithm
hardware architecture
verification method