A formal analysis of Dutch Generic Integral Tunnel Design models-Reference-Cited by-同舟云学术

A formal analysis of Dutch Generic Integral Tunnel Design models

Published:2023-03-27 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing
language:
Short-container-title:

Author:

Jilissen Kevin¹²^ORCID,Dieleman Peter¹^ORCID,Groote Jan Friso²^ORCID

Affiliation:

1. Rijkswaterstaat, Utrecht, Netherlands

2. Department of Mathematics & Computer Science, Eindhoven University of Technology, Eindhoven, Netherlands

Publisher

ACM

Link

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

Reference14 articles.

1. Stefan Blom , Saeed Darabi , Marieke Huisman , and Wytse Oortwijn . 2017. The VerCors Tool Set: Verification of Parallel and Concurrent Software . In Integrated Formal Methods, Nadia Polikarpova and Steve Schneider (Eds.). Springer International Publishing , Cham , 102--110. Stefan Blom, Saeed Darabi, Marieke Huisman, and Wytse Oortwijn. 2017. The VerCors Tool Set: Verification of Parallel and Concurrent Software. In Integrated Formal Methods, Nadia Polikarpova and Steve Schneider (Eds.). Springer International Publishing, Cham, 102--110.

2. Olav Bunte , Jan Friso Groote , Jeroen J. A. Keiren, Maurice Laveaux, Thomas Neele, Erik P. de Vink, Wieger Wesselink, Anton Wijs, and Tim A. C. Willemse. 2019 . The mCRL2 Toolset for Analysing Concurrent Systems. In Tools and Algorithms for the Construction and Analysis of Systems, Tomáš Vojnar and Lijun Zhang (Eds.). Springer International Publishing , Cham, 21--39. Olav Bunte, Jan Friso Groote, Jeroen J. A. Keiren, Maurice Laveaux, Thomas Neele, Erik P. de Vink, Wieger Wesselink, Anton Wijs, and Tim A. C. Willemse. 2019. The mCRL2 Toolset for Analysing Concurrent Systems. In Tools and Algorithms for the Construction and Analysis of Systems, Tomáš Vojnar and Lijun Zhang (Eds.). Springer International Publishing, Cham, 21--39.

3. Standard for Information Technology--Software Life Cycle Processes--Software Development--Acquirer-Supplier Agreement (Issued for Trial Use)

4. Kevin H.J. Jilissen . 2022. A formal analysis of the tunnel control systems of the Rijkswaterstaat GITO. Master's thesis . Eindhoven University of Technology (TU/ e), Eindhoven, The Netherlands. Kevin H.J. Jilissen. 2022. A formal analysis of the tunnel control systems of the Rijkswaterstaat GITO. Master's thesis. Eindhoven University of Technology (TU/e), Eindhoven, The Netherlands.

5. Michiel Jung. 2021. SRS SW-Component Besturing Overdruk Veilige Ruimte. Version 4.0. document code 1912602-001511. Michiel Jung. 2021. SRS SW-Component Besturing Overdruk Veilige Ruimte. Version 4.0. document code 1912602-001511.

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

1. Formally Modelling the Rijkswaterstaat Tunnel Control Systems in a Constrained Industrial Environment;Electronic Proceedings in Theoretical Computer Science;2024-03-27