Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning-Reference-Cited by-同舟云学术

Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning

Author:

Groce Alex,Havelund Klaus,Holzmann Gerard,Joshi Rajeev,Xu Ru-Gang

Publisher

Springer Science and Business Media LLC

Subject

Applied Mathematics,Artificial Intelligence

Link

Reference115 articles.

1. About Static Driver Verifier: http://www.microsoft.com/whdc/DevTools/tools/SDV.mspx

2. ACL2 Version 6.3: http://www.cs.utexas.edu/moore/acl2

3. AdaCore: SPARK Pro. http://www.adacore.com/sparkpro/

4. CodeSonar: GrammaTech static analysis. http://www.grammatech.com/products/codesonar

5. Hyper-V - Microsoft: http://www.microsoft.com/servers/hyper-v-server/default.mspx

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

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

2. Language Design Meets Verifying Compilers (Keynote);Proceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences;2022-11-29

5. Practical Automatic Lightweight Nondeterminism and Flaky Test Detection and Debugging for Python;2020 IEEE 20th International Conference on Software Quality, Reliability and Security (QRS);2020-12