H. Garavel and M. Sighireanu. Towards a second generation of Formal Description Techniques -- Rationale for the design of E-LOTOS. In J.-F. Groote, B. Luttik, and J. van Wamel, editors, Proc. 3rd. International Workshop on Formal Methods for Industrial Critical Systems, pages 187--230, Amsterdam, Netherlands, May 1998. University of Nantes. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Formally-Based Testing of Radiotherapy Accelerators - Turner (2001) (Correct)
....of time and hence performance. The project will therefore exploit E LOTOS in its work. However because E LOTOS is relatively recent, it will be necessary to develop a new theory of conformance testing for it. Tools for LOTOS are readily obtainable, but for E LOTOS are only now being produced [3]. The project therefore expects to undertake its own tool development for conformance testing. 2 Project Workplan 2.1 Goals The aim of the project is to support a safer environment for treatment of patients through radiation therapy. The main goals are: to define a method for specifying the ....
H. Garavel and M. Sighireanu. Towards a second generation of Formal Description Techniques -- Rationale for the design of E-LOTOS. In J.-F. Groote, B. Luttik, and J. van Wamel, editors, Proc. 3rd. International Workshop on Formal Methods for Industrial Critical Systems, pages 187--230, Amsterdam, Netherlands, May 1998. University of Nantes.
SVL: a Scripting Language for Compositional Verification - Garavel, Lang (2001) Self-citation (Garavel) (Correct)
....Program SVL Output Files OUTPUT INPUT Type error Syntax error Type Checking (LOTOS NT) Expansion of Meta Operations (LOTOS NT) Code Generation (LOTOS NT) Shell Interpreter Syntax Analysis Abstract Tree construction (SYNTAX) Figure 2: Architecture of Svl 2. 0 Lotos NT language [GS98, Sig00] Inspired by the standardization work on Enhanced Lotos [Que01] Lotos NT combines the theoretical foundations of process algebras with features borrowed from both functional and imperative languages (such as abstract data types, patterns, assignments, loops, suitable for a wider ....
Hubert Garavel and Mihaela Sighireanu. Towards a Second Generation of Formal Description Techniques { Rationale for the Design of E-LOTOS. In Jan-Friso Groote, Bas Luttik, and Jos van Wamel, editors, Proceedings of the 3rd International Workshop on Formal Methods for Industrial Critical Systems FMICS'98 (Amsterdam, The Netherlands), pages 187-230, Amsterdam, May 1998. CWI. Invited lecture.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC