Jonas Becker-Kupczok, Paula Herber. Towards Automated Security Hardening Using Timed Path Conditions in Shared Bus Systems. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies - 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV. Volume 15222 of Lecture Notes in Computer Science, pages 115-131, Springer, 2024. [doi]
Abstract is missing.