A Symbolic Relation for a Subset of VHDL'87 Descriptions and its Application to Symbolic Model Checking.

Emmanuelle Encrenaz

Published in: CHARME (1995)

Keyphrases

symbolic model checking
symbolic representation
binary decision diagrams
model checking
partial observability
formal verification
conformant planning
high level
artificial intelligence
association rules
belief state