Symbolic Model Checking Using Algebraic Geometry.

George S. Avrunin

Published in: CAV (1996)

Keyphrases

algebraic geometry
symbolic model checking
set theory
model checking
model checker
partial observability
formal verification
binary decision diagrams
polynomial equations
symbolic representation
partial order
evolutionary algorithm
temporal logic
fuzzy set theory