Login / Signup

Formal property verification in a conformance testing framework.

Houssam AbbasHans D. MittelmannGeorgios Fainekos
Published in: MEMOCODE (2014)
Keyphrases
  • machine learning
  • case study
  • conceptual framework
  • data mining
  • similarity measure
  • multiscale
  • probabilistic model
  • main contribution
  • formal model
  • meta level
  • formal methods
  • formal verification
  • framework enables