Construction of Verified Concurrent Systems
Logo Inria Logo LIG Logo Grenoble INP Logo CNRS Logo UGA

RIDINGS (RIgorous DesIgN of GALS Systems)

RIDINGS is a project funded by the programme PHC Amadeus dedicated to foster scientific collaborations between Austria and France. The partners involved are the IST (Institute of Software Technology) of TU Graz and the CONVECS project-team of Inria Grenoble - Rhône-Alpes.

Scientific activities

Workshops Publications
  • A Formal TLS Handshake Model in LNT
    Josip Bozic, Lina Marsso, Radu Mateescu, and Franz Wotawa
    Proceedings of the 3rd Workshop on Models for Formal Analysis of Real Systems and the 6th International Workshop on Verification and Program Transformation MARS/VPT'2018 (Thessaloniki, Greece), April 20, 2018.
    Full text: Logo PDF      Slides: Logo PDF

  • Using LNT Formal Descriptions for Model-Based Diagnosis
    Birgit Hofer, Radu Mateescu, Wendelin Serwe, and Franz Wotawa
    Proceedings of the 29th International Workshop on Principles of Diagnosis DX'2018 (Warsaw, Poland), August 27-30, 2018.
    Full text: Logo PDF      Slides: Logo PDF

Logo Twitter
Last modified: 2018/10/12 17:59:23.