GRL (GALS Representation Language)
Publications
- Formal Modelling and Verification of GALS Systems Using GRL and CADP
Fatma Jebali, Frédéric Lang, and Radu Mateescu
Formal Aspects of Computing 28(5):767-804, 2016.
| Full text: |
 |
(recommended reference for GRL)
- Formal Framework for Modelling and Verifying Globally Asynchronous Locally Synchronous Systems
Fatma Jebali
PhD Thesis, Université Grenoble Alpes, September 2016.
| Full text: |
|
(complete definition of GRL)
- Modélisation et validation formelle de systèmes globalement asynchrones et localement synchrones
Fatma Jebali, Mouna Tka Mnad, Christophe Deleuze, Frédéric Lang, Radu Mateescu, and Ioannis Parissis
Actes des 13èmes Journées sur les Approches Formelles dans l'Assistance au Développement de Logiciels AFADL'2014 (Paris, France), June 11-12, 2014.
| Full text: |
|
|
Slides: |
|
- GRL: A Specification Language for Globally Asynchronous Locally Synchronous Systems
Fatma Jebali, Frédéric Lang, and Radu Mateescu
Proceedings of the 16th International Conference on Formal Engineering Methods ICFEM'2014 (Luxembourg, Luxembourg), November 3-5, 2014.
| Full text: |
|
|
Slides: |
|
|
|
|
|
