Bus Protocols: MSC-Based Specifications and Translation into Program of Verification Tool for Formal Verification

Kamrul Hasan Talukder

Published in: CoRR (2010)

Keyphrases

formal verification
automated verification
program slicing
model checking
model checker
bounded model checking
symbolic model checking
high speed
machine translation
cryptographic protocols
program understanding
functional verification
temporal logic