Formal Verification of an O. S. Submodule.

N. S. Pendharkar K. Gopinath

Published in: FSTTCS (1998)

Keyphrases

formal verification
model checking
automated verification
model checker
bounded model checking
symbolic model checking
program slicing
coloured petri nets
temporal logic
knowledge base
artificial intelligence
multi agent systems
functional verification