Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Vereofy

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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Given a system $${\fancyscript{A}}$$A and an objective $$\varPhi $$Φ, the task of controller synthesis is to design a decision… Expand
  • figure 2
  • figure 3
  • figure 4
  • figure 5
  • table 1
Is this relevant?
2012
2012
We show a way to evaluate functional properties of distributed algorithms by the example of the AODV algorithm in sensor networks… Expand
  • table I
  • figure 1
  • figure 2
  • figure 3
  • table III
Is this relevant?
2012
2012
Information and communication systems enter an increasing number of areas of daily lives. Our reliance and dependence on the… Expand
  • figure 2.1
  • figure 2.2
  • figure 2.3
  • figure 2.4
  • figure 2.5
Is this relevant?
2011
2011
In traditional approaches to software development, modeling precedes programming activities. Hence, models represent the intended… Expand
Is this relevant?
2011
2011
Over the past decades, coordination languages have emerged for the specification and implementation of interaction protocols for… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 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… Expand
  • table 1
  • table 2
  • table 3
  • figure 1
  • figure 2
Is this relevant?
2010
2010
The feasibility of formal methods for the analysis of complex systems crucially depends on a modeling framework that supports… Expand
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… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2009
2009
The purpose of this paper is to present a framework to model component interfaces and the component connectors that provide the… Expand
  • figure 1
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… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?