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
2015
2015
Software connectors encapsulate interaction patterns between services in complex, distributed service-oriented applications. Such… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 6
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
Review
2012
Review
2012
htmlabstractOver the past decades, coordination languages have emerged for the specification and implementation of interaction… Expand
  • table 1
  • figure 1
  • figure 2
  • figure 3
  • figure 4
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
2011
2011
  • Zhang Yuan, S. 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… Expand
  • figure 3
  • figure 1
  • figure 2
2011
2011
In traditional approaches to software development, modeling precedes programming activities. Hence, models represent the intended… Expand
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
2010
2010
The feasibility of formal methods for the analysis of complex systems crucially depends on a modeling framework that supports… Expand