Login / Signup

Hierarchical Modeling and Formal Verification. An Industrial Case Study Using Reo and Vereofy.

Joachim KleinSascha KlüppelholzAndries StamChristel Baier
Published in: FMICS (2011)
Keyphrases
  • formal verification
  • model checking
  • model checker
  • bounded model checking
  • symbolic model checking
  • hierarchical clustering
  • programming language
  • hierarchical structure
  • temporal logic
  • functional verification