Formal verification of Signal programs: Application to a power transformer station controller-Reference-Cited by-同舟云学术

Formal verification of Signal programs: Application to a power transformer station controller

Published:1996 Issue: Volume: Page:271-285
ISSN:0302-9743
Container-title:Algebraic Methodology and Software Technology
language:
Short-container-title:

Author:

Le Borgne Michel,Marchand Hervé,Rutten Éric,Samaan Mazen

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/BFb0014322

Reference13 articles.

1. B. Alpern and F. B. Schneider.-Recognizing safety and liveness.-Technical Report 86-727, Departement of Computer Science Cornell University, Ithaca, New York, January 1986.

2. T. A. Amabegnon, L. Besnard, and P. Le Guernic.-Arborescent canonical form of booelan expressions.-Technical Report 2290, INRIA, June 1994.-(ftp: ftp.inria.fr, file/INRIA/publications/RR/RR-2290.ps.Z.

3. T. Amagbegnon, P. Le Guernic, H. Marchand, and E. Rutten.-Signal — the specification of a generic, verified production cell controller, volume 891 of LNCS (Lecture Notes in Computer Science), chapter VII, pages 115–129.-Springer Verlag, January 1995.

4. F. Boussinot and R. de Simone.-The Esterel language.-Proc. of the IEEE, 9(79):1293–1304, September 1991.

5. B. Dutertre.-Spécification et preuve de systèmes dynamiques: Application à Signal.-Thèse, Université de Rennes, December 1992.-(In French).

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Translation Validation of Code Generation from the SIGNAL Data-Flow Language to Verilog;2019 15th International Conference on Semantics, Knowledge and Grids (SKG);2019-09

2. A polynomial dynamic system approach to software design for attractivity requirement;Information Sciences;2007-07

3. Specification and analysis of synchronous reactions;Formal Aspects of Computing;2004-08

4. Incremental design of a Power transformer station controller using a controller synthesis methodology;FM’99 — Formal Methods;1999

5. Polyhedral Analysis for Synchronous Languages;Static Analysis;1999