Harnessing Disruptive Innovation in Formal Verification.

Published in: SEFM (2006)

Keyphrases

formal verification
model checking
model checker
automated verification
bounded model checking
program slicing
case study
st century
collective intelligence
technological innovation
symbolic model checking
knowledge management
temporal logic
technology transfer
intellectual capital
functional verification