Producing All Ideals of a Forest, Formally (Verification Pearl).

Jean-Christophe Filliâtre Mário Pereira

Published in: VSTTE (2016)

Keyphrases

model checking
high quality
formal analysis
data mining
belief revision
causal models
conditional independence
information retrieval
computer vision
data structure
petri net
experimental data
face verification
formal methods
partially ordered
asynchronous circuits