Efficient generation of inductive validity cores for safety properties-Reference-Cited by-同舟云学术

Efficient generation of inductive validity cores for safety properties

Published:2016-11 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering
language:
Short-container-title:

Author:

Ghassabani Elaheh¹,Gacek Andrew²,Whalen Michael W.¹

Affiliation:

1. University of Minnesota, USA

2. Rockwell Collins, USA

Funder

Defense Advanced Research Projects Agency

National Aeronautics and Space Administration

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/2950290.2950346

Reference49 articles.

1. JKind. http://loonwerks.com/tools/jkind.html. JKind. http://loonwerks.com/tools/jkind.html.

2. Set of Support. https://github.com/elaghs/Working/tree/ master/support/experiments. Set of Support. https://github.com/elaghs/Working/tree/ master/support/experiments.

3. Dynamic program slicing

4. J. Backes D. Cofer S. Miller and M. W. Whalen . Requirements analysis of a quad-redundant flight control system. In K. Havelund G. Holzmann and R. Joshi editors NASA Formal Methods volume 9058 of Lecture Notes in Computer Science pages 82– 96 . Springer International Publishing 2015. J. Backes D. Cofer S. Miller and M. W. Whalen. Requirements analysis of a quad-redundant flight control system. In K. Havelund G. Holzmann and R. Joshi editors NASA Formal Methods volume 9058 of Lecture Notes in Computer Science pages 82–96. Springer International Publishing 2015.

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

1. Verification Witnesses;ACM Transactions on Software Engineering and Methodology;2022-09-08

2. Formal Specification and Analysis of Spacecraft Collision Avoidance Run Time Assurance Requirements;2021 IEEE Aerospace Conference (50100);2021-03-06

3. Inductive Validity Cores;IEEE Transactions on Software Engineering;2021-02-01

4. Merit and Blame Assignment with Kind 2;Formal Methods for Industrial Critical Systems;2021

5. Automating Certification Objectives with SpeAR;ACM SIGAda Ada Letters;2020-01-10