Scalable Reliability Analysis by Lazy Verification

Khan, Shahid (Corresponding author); Katoen, Joost-Pieter; Volk, Matthias; Bouissou, Marc

1st ed. 2021.. - Cham : 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