Automatic formal verification for scheduled VLIW code.

Xiushan Feng Alan J. Hu

Published in: LCTES-SCOPES (2002)

Keyphrases

formal verification
model checking
program slicing
model checker
bounded model checking
semi automatic
automated verification
scheduling problem
temporal logic
symbolic model checking
fully automatic
formal specification