Vereofy

Vereofy is a software model checker for component-based systems for operational correctness. It was written by Prof. Christel Baier at Technische… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

2009-2013
01220092013

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
Given a formal model of the behavior of a system, an objective and some notion of control the goal of controller synthesis [RW87… (More)
  • figure 1.1
  • figure 2.1
  • figure 3.1
  • figure 3.4
  • figure 3.5
Is this relevant?
2012
2012
Information and communication systems enter an increasing number of areas of daily lives. Our reliance and dependence on the… (More)
  • figure 2.1
  • figure 2.2
  • figure 2.3
  • figure 2.4
  • figure 2.5
Is this relevant?
2011
2011
Reo is a coordination language which can be used to model the interactions among a set of components or services in a… (More)
  • table 1
  • table 2
  • table 3
  • figure 1
  • figure 2
Is this relevant?
2010
2010
This paper is an extended version of the Credo Methodology [16]. Credo offers tools and techniques to model and analyze highly… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2009
2009
This document is submitted as Annex 6.3.3 for the Deliverable D6.3 (Final Modelling of Biomedical Sensor Networks using the Creol… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2009
2009
This paper is an extended version of the Credo Methodology [16]. Credo offers tools and techniques to model and analyze highly… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?