Transformations for Compositional Verification of Assumption-Commitment Properties.

Ahmed Mahdi Bernd Westphal Martin Fränzle

Published in: RP (2014)

Keyphrases

decision making
databases
information retrieval
computer vision
feature selection
knowledge base
image processing
website
structural properties
desirable properties
topological properties
formal verification