Formal Verification of Avionics Software Products-Reference-Cited by-同舟云学术

Formal Verification of Avionics Software Products

Published:2009 Issue: Volume: Page:532-546
ISSN:0302-9743
Container-title:FM 2009: Formal Methods
language:
Short-container-title:

Author:

Souyris Jean,Wiels Virginie,Delmas David,Delseny Hervé

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-05089-3_34.pdf

Reference25 articles.

1. The ASTREE project (Analyse Statique de logiciels Temps-REel Embarqués). RNTL (2003), http://www.di.ens.fr/~cousot/projets/ASTREE/

2. The CAT project (C analysis toolbox). RNTL (2005)

3. Lecture Notes in Computer Science;P. Cousot,2005

4. Cousot, P., Cousot, R.: Basic Concepts of Abstract Interpretation. In: Jacquard, R. (ed.) Building the Information Society, pp. 359–366. Kluwer Academic Publishers, Dordrecht (2004)

5. DAEDALUS project. IST-1999-20527 of the european IST Programme of the Fifth Framework Programme (FP5) on the « validation of software components embedded in future generation critical concurrent systems by exhaustive semantic-based static analysis and abstract testing methods based on abstract interpretation » (DAEDALUS lasted from October 1st, 2000 to September 30th 2002)

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

1. Formal Methods in Industry;Formal Aspects of Computing;2024-08-21

2. Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications;Lecture Notes in Computer Science;2024

3. Example Applications of Formal Methods to Aerospace and Autonomous Systems;2023 IEEE International Conference on Assured Autonomy (ICAA);2023-06

4. Finding Specification Blind Spots via Fuzz Testing;2023 IEEE Symposium on Security and Privacy (SP);2023-05

5. Safety SysML: An Executable Safety-Critical Avionics Requirement Modeling Language;2022 IEEE 22nd International Conference on Software Quality, Reliability and Security (QRS);2022-12