An Efficient Specification for System Verification.

Chikatoshi Yamada Yasunori Nagata Zensho Nakao

Published in: J. Adv. Comput. Intell. Intell. Informatics (2006)

Keyphrases

formal verification
asynchronous circuits
formal methods
model checking
formal specification
protocol specification
specification language
genetic algorithm
knowledge base
face recognition
user defined
formal analysis
fingerprint verification
provably correct
temporal ordering
concurrent systems