Formal Verification of Scalable NonZero Indicators.

Shao Jie Zhang Yang Liu Jun Sun Jin Song Dong Wei Chen Yanhong A. Liu

Published in: SEKE (2009)

Keyphrases

formal verification
model checking
model checker
symbolic model checking
automated verification
bounded model checking
coloured petri nets
program slicing
lightweight
highly scalable
web scale
functional verification
orders of magnitude
software systems