Clone this wiki locally
The CHESS methodology was devised and implemented initially in the CHESS project, later extended in the CONCERTO project, and then further developed within other projects. The toolset, which was formerly known as "The CHESS Framework", is an integrated collection of Eclipse plugins, now forming a subproject of Eclipse PolarSys. Since then, we call it PolarSys CHESS.
This repository hosts the "State-Based Analysis" plugin, CHESS-SBA for short. The source tree of the complete framework is available on the PolarSys Repository.
A CHESS-SBA Training Video was created during the CONCERTO project in June 2016. The PDF of the corresponding training slides is available here. However, the most up-to-date and complete information can be found in this wiki.
Let's now understand how to get started using CHESS-SBA.