An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report)

Moshe Y. Vardi Pierre Wolper

Published in: LICS (1986)

Keyphrases

machine learning
relational databases
semi automatic
wide range
cellular automata
finite automata
data sets
databases
real world
data mining
learning environment
markov chain
fully automatic
finite state
probabilistic automata