Sign in

Transformations for Compositional Verification of Assumption-Commitment Properties.

Ahmed MahdiBernd WestphalMartin 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