LNT2LOTOS
Reference Manual of the LNT to LOTOS Translator. This report defines the LNT language, which is a simplified variant of E-LOTOS (International Standard ISO-15437:2001). In a nutshell, LNT provides the same expressiveness as LOTOS, but has more user-friendly and regular notations borrowed from imperative and functional programming languages. In particular, unlike LOTOS, the data type and process parts of LNT share many similar constructs, leading to a more uniform and easy-to-learn language than LOTOS. This report defines the syntax, static semantics, and dynamic semantics of LNT, and presents its associated tools: the LPP preprocessor, the LNT2LOTOS translator, and the LNT.OPEN script that interfaces with the OPEN/CAESAR framework so as to enable LNT specifications to be analyzed using the CADP toolbox.
Keywords for this software
References in zbMATH (referenced in 5 articles )
Showing results 1 to 5 of 5.
Sorted by year (- Evrard, Hugues; Lang, Frédéric: Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous (2017)
- Jebali, Fatma; Lang, Frédéric; Mateescu, Radu: Formal modelling and verification of GALS systems using GRL and CADP (2016)
- Garavel, Hubert: Revisiting sequential composition in process calculi (2015)
- Garavel, Hubert; Lang, Frédéric; Mateescu, Radu: Compositional verification of asynchronous concurrent systems using CADP (2015)
- Güdemann, Matthias; Salaün, Gwen; Ouederni, Meriem: Counterexample guided synthesis of monitors for realizability enforcement (2012)