Skip to search formSkip to main contentSkip to account menu

Vereofy

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

Related topics

Related topics

3 relations
EclipseModel checkingReo Coordination Language

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Compositional construction of most general controllers
Given a system A\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb… 
2012
2012
Exploiting Model Variability in ABS to Verify Distributed Algorithms
—We show a way to evaluate functional properties of distributed algorithms by the example of the AODV algorithm in sensor… 
2011
2011
Hierarchical Modeling and Formal Verification. An Industrial Case Study Using Reo and Vereofy
In traditional approaches to software development, modeling precedes programming activities. Hence, models represent the intended… 
2011
2011
An operational model of security policies in Service-Oriented Applications
  • Zhang YuanS. Meng
  • IEEE 2nd International Conference on Software…
  • 2011
  • Corpus ID: 15372378
We use a scenario-based visual notation, called Policy Sequence Chart (PSC), for specifying security policies in service… 
2011
2011
Encoding Context-Sensitivity in Reo into Non-Context-Sensitive Semantic Models
Reo is a coordination language which can be used to model the interactions among a set of components or services in a… 
2009
2009
Title Modelling of Biomedical Sensor Networks using the Creol Tools
This document is submitted as Annex 6.3.3 for the Deliverable D6.3 (Final Modelling of Biomedical Sensor Networks using the Creol… 
2009
2009
The Credo Methodology - (Extended Version)
This paper is an extended version of the Credo Methodology [16]. Credo offers tools and techniques to model and analyze highly… 
2008
2008
BTSL* Model Checking with Fairness for Reo
Reo is an exogenous coordination language designed to describe the interaction between component instances in a component based… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)