FACTum Studio 2.0

My colleague Habtom K. Gidey was presenting our second release of FACTum Studio at the 16th International Conference on Formal Aspects of Component Software taking place these days in Amsterdam.

The new version now supports the modeling of behavior for component types in terms of finite-state machines and the verification of corresponding contracts using model checking.

Soon we will provide a preprint of our FACS paper which describes all the extensions in detail and demonstrates them by means of a running example.

Kommentar verfassen

Trage deine Daten unten ein oder klicke ein Icon um dich einzuloggen:

WordPress.com-Logo

Du kommentierst mit Deinem WordPress.com-Konto. Abmelden /  Ändern )

Google Foto

Du kommentierst mit Deinem Google-Konto. Abmelden /  Ändern )

Twitter-Bild

Du kommentierst mit Deinem Twitter-Konto. Abmelden /  Ändern )

Facebook-Foto

Du kommentierst mit Deinem Facebook-Konto. Abmelden /  Ändern )

Verbinde mit %s