Static verification based signoff - A key enabler for managing verification complexity in the modern soc.

Published in: FMCAD (2013)

Keyphrases

model checking
high security
formal verification
concurrent systems
information systems
multi agent
computational complexity
e government
decision problems
signature verification
verification method