TOP
Search the Dagstuhl Website
Looking for information on the websites of the individual seminars? - Then please:
Not found what you are looking for? - Some of our services have separate websites, each with its own search option. Please check the following list:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Seminars
Within this website:
External resources:
  • DOOR (for registering your stay at Dagstuhl)
  • DOSA (for proposing future Dagstuhl Seminars or Dagstuhl Perspectives Workshops)
Publishing
Within this website:
External resources:
dblp
Within this website:
External resources:
  • the dblp Computer Science Bibliography


Research Meeting 12353

CEBug-Treffen

( Aug 28 – Aug 31, 2012 )

Permalink
Please use the following short url to reference this page: https://www.dagstuhl.de/12353

Organizer


Motivation

For the correction of erroneous systems it is crucial to have counterexamples at hand. Counterexamples are system runs which lead to erroneous behaviour.

Model checking for stochastic systems can be used to determine the probability with which runs of a stochastic system satisfy a given property. Unfortunately, if this probability does not lie within the admissible bounds, the available model checking algorithms cannot provide counterexamples.

The goal of the CEBug project is, on the one hand, to improve the available technologies for counterexample generation for stochastic systems and, on the other hand, to develop and implement algorithms for more expressive properties and for richer systems.

During this meeting we focus on the role of compositionality and non-determinism, and discuss the possibilities of using SAT-modulo-theories technologies for counterexample generation.

The CEBug project is financially supported by the Deutsche Forschungsgemeinschaft (DFG).


Keywords
  • Stochastic systems
  • counterexample generation