A Specification Format for Rooted Branching Bisimulation.

Valentina Castiglioni Ruggero Lanotte Simone Tini

Published in: Fundam. Informaticae (2014)

Keyphrases

high level
metadata
formal specification
branch and bound
specification language
data sets
neural network
information systems
formal verification
provably correct
databases
data mining
machine learning
computer vision
search space
user defined