Symbolic Verification with Periodic Sets.

Bernard Boigelot Pierre Wolper

Published in: CAV (1994)

Keyphrases

neural network
model checking
formal analysis
real world
data structure
genetic algorithm
clustering algorithm
decision trees
high level
multiscale
video sequences
set theoretic
asynchronous circuits
symbolic reasoning