model checking

Presentation at the Modeling Symposium of EclipseCon 2017

Our research group has presented the Gamma framework at the Modeling Symposium of EclipseCon 2017. Gamma is a Statechart Composition Framework to model, verify and generate code for component-based reactive systems. The framework builds on Yakindu, an open source statechart modeling tool and provides an additional modeling layer to instatiate a communicating network of statecharts. Compositionality is hierarchical, which facilitates the creation of reusable component libraries.

Paper accepted to the 36th International Conference on Application and Theory of Petri Nets and Concurrency

Our paper entitled "New search strategies for the Petri net CEGAR approach" is accepted to the "36th International Conference on Application and Theory of Petri Nets and Concurrency".

This paper introduces our theoretical and algorithmic results regarding the advanced CounterExample Guided Abstraction Refinement algorithm applied to Petri nets.

Our paper is accepted to the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)

A paper by our research group has been accepted at the TACAS 2015 (International Conference on Tools and Algorithms for the Construction and Analysis of Systems) scientific conference, a top international forum for tools and algorithms for the construction and analysis of systems.

We would like to thank our student collaborators and the reviewers for their helpful feedback.

The title of our accepted paper: Saturation-based Incremental LTL Model Checking with Inductive Proofs

Syndicate content