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


  • UnRAVeL Research Training Group [080060]
  • Department of Computer Science [120000]
  • Chair of Computer Science 2 (Software Modeling and Verification) [121310]