Scalable Reliability Analysis by Lazy Verification

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

Cham, Switzerland : Springer (2021)
Buchbeitrag, Beitrag zu einem Tagungsband

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.)
Seite(n)/Artikel-Nr.: 180-197

Einrichtungen

  • Graduiertenkolleg UnRAVeL [080060]
  • Fachgruppe Informatik [120000]
  • Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) [121310]

Identifikationsnummern