A compositional proof framework for FRETish requirements-Reference-Cited by-同舟云学术

A compositional proof framework for FRETish requirements

Published:2022-01-11 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs
language:
Short-container-title:

Author:

Conrad Esther¹^ORCID,Titolo Laura²^ORCID,Giannakopoulou Dimitra³,Pressburger Thomas³,Dutle Aaron¹^ORCID

Affiliation:

1. NASA Langley Research Center, USA

2. National Institute of Aerospace, USA

3. NASA Ames Research Center, USA

Publisher

ACM

Link

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

Reference33 articles.

1. VARED: Verification and analysis of requirements and early designs

2. The Theory and Practice of SALT

3. S. Bensalem , V. Ganesh , Y. Lakhnech , C. Muñoz , S. Owre , H. Rueß , J. Rushby , V. Rusu , H. Saïdi , N. Shankar , E. Singerman , and A. Tiwari . 2000 . An Overview of SAL. In 5th NASA Langley Formal Methods Workshop (LFM 2000 ). 187–196. S. Bensalem, V. Ganesh, Y. Lakhnech, C. Muñoz, S. Owre, H. Rueß, J. Rushby, V. Rusu, H. Saïdi, N. Shankar, E. Singerman, and A. Tiwari. 2000. An Overview of SAL. In 5th NASA Langley Formal Methods Workshop (LFM 2000). 187–196.

4. ETL: A new temporal language for the verification of cyber-physical systems

5. CoCoSpec: A Mode-Aware Contract Language for Reactive Systems

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

1. AGVTS: Automated Generation and Verification of Temporal Specifications for Aeronautics SCADE Models;Lecture Notes in Computer Science;2024-09-13

2. Embedding Differential Dynamic Logic in PVS;Electronic Proceedings in Theoretical Computer Science;2024-04-23

3. A Temporal Differential Dynamic Logic Formal Embedding;Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs;2024-01-09

4. Mission-Time LTL (MLTL) Formula Validation via Regular Expressions;iFM 2023;2023-11-06

5. $$\textsf{PFL}$$: A Probabilistic Logic for Fault Trees;Formal Methods;2023