Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,861,546 papers from all fields of science
Search
Sign In
Create Free Account
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
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
3 relations
Eclipse
Model checking
Reo Coordination Language
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Compositional construction of most general controllers
Joachim Klein
,
C. Baier
,
Sascha Klüppelholz
Acta Informatica
2015
Corpus ID: 253766724
Given a system A\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb…
Expand
2012
2012
Exploiting Model Variability in ABS to Verify Distributed Algorithms
W. Leister
,
Joakim Bjørk
,
R. Schlatte
,
E. Johnsen
,
Andreas Griesmayer
2012
Corpus ID: 15757102
—We show a way to evaluate functional properties of distributed algorithms by the example of the AODV algorithm in sensor…
Expand
2009
2009
Title Modelling of Biomedical Sensor Networks using the Creol Tools
W. Leister
,
Xuedong Liang
,
Sascha Klüppelholz
,
Joachim Klein
,
F. Kazemeyni
2009
Corpus ID: 14257228
This document is submitted as Annex 6.3.3 for the Deliverable D6.3 (Final Modelling of Biomedical Sensor Networks using the Creol…
Expand