Scalable Reliability Analysis by Lazy Verification
Khan, Shahid (Corresponding author); Katoen, Joost-Pieter; Volk, Matthias; Bouissou, Marc
Cham, Switzerland : Springer (2021)
Contribution to a book, Contribution to a conference proceedings
In: NASA formal methods : 13th international symposium, NFM 2021, virtual event, May 24-28, 2021 : proceedings / Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz, Ivan Perez (eds.)
Page(s)/Article-Nr.: 180-197
Institutions
- UnRAVeL Research Training Group [080060]
- Department of Computer Science [120000]
- Chair of Computer Science 2 (Software Modeling and Verification) [121310]
Identifier
- DOI: 10.1007/978-3-030-76384-8_12
- RWTH PUBLICATIONS: RWTH-2022-01616