Automatic Verification of a Turbogas Control System with the Murφ Verifier-Reference-Cited by-同舟云学术

Automatic Verification of a Turbogas Control System with the Murφ Verifier

Published:2003 Issue: Volume: Page:141-155
ISSN:0302-9743
Container-title:Hybrid Systems: Computation and Control
language:
Short-container-title:

Author:

Della Penna Giuseppe,Intrigila Benedetto,Melatti Igor,Minichino Michele,Ciancamerla Ester,Parisse Andrea,Tronci Enrico,Venturini Zilli Marisa

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-36580-X_13

Reference26 articles.

1. url: http://www.eecs.berkeley.edu/~tah/HyTech .

2. R. Alur, T.A. Henzinger, and P.-H. Ho. Automatic symbolic verification of embedded systems. IEEE Trans. on Software Engineering, 22, 1996.

3. Lect Notes Comput Sci;A. Bobbio,2002

4. Lect Notes Comput Sci;A. Bobbio,2002

5. A. Bobbio, S. Bologna, M. Minichino, E. Ciancamerla, P. Incalcaterra, C. Kropp, and E. Tronci. Advanced tecniques for safety analysis applied to the gas turbine control system of icaro co generative plant. In Proc. of X Convegno TESEC, Genova, Italy, June 2001.

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

1. Data Quality through Model Checking Techniques;Advances in Intelligent Data Analysis X;2011

2. Verifying Extended Criteria for the Interoperability of Security Devices;On the Move to Meaningful Internet Systems: OTM 2008;2008

3. Finite horizon analysis of Markov Chains with the Murϕ verifier;International Journal on Software Tools for Technology Transfer;2006-04-04

4. Introductory Paper;International Journal on Software Tools for Technology Transfer;2006-04-03

5. Automatic Analysis of a Safety Critical Tele Control System;Lecture Notes in Computer Science;2005