Verification of Sequential Function Charts Using SMV.

Sébastien Bornot Ralf Huuck Ben Lukoschus

Published in: PDPTA (2000)

Keyphrases

model checking
formal verification
artificial intelligence
real world
search engine
real time
information systems
temporal logic
piecewise linear