Scalable Reliability Analysis by Lazy Verification

Shahid Khan; Joost-Pieter Katoen; Matthias Volk; Marc Bouissou

doi:10.1007/978-3-030-76384-812

Scalable Reliability Analysis by Lazy Verification

Shahid Khan, Joost-Pieter Katoen, Matthias Volk, Marc Bouissou

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	NASA Formal Methods - 13th International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, Proceedings
Editors	Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz, Ivan Perez
Publisher	Springer
Pages	180-197
Number of pages	18
Volume	12673
DOIs	https://doi.org/10.1007/978-3-030-76384-812
Publication status	Published - 2021
Externally published	Yes

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer

Access to Document

10.1007/978-3-030-76384-812

Cite this

Khan, S., Katoen, J.-P., Volk, M., & Bouissou, M. (2021). Scalable Reliability Analysis by Lazy Verification. In A. Dutle, M. M. Moscato, L. Titolo, C. A. Muñoz, & I. Perez (Eds.), NASA Formal Methods - 13th International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, Proceedings (Vol. 12673, pp. 180-197). (Lecture Notes in Computer Science). Springer. https://doi.org/10.1007/978-3-030-76384-812

Khan, Shahid ; Katoen, Joost-Pieter ; Volk, Matthias et al. / Scalable Reliability Analysis by Lazy Verification. NASA Formal Methods - 13th International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, Proceedings. editor / Aaron Dutle ; Mariano M. Moscato ; Laura Titolo ; César A. Muñoz ; Ivan Perez. Vol. 12673 Springer, 2021. pp. 180-197 (Lecture Notes in Computer Science).

@inproceedings{a33af7789e0e4729832b2661d341701c,

title = "Scalable Reliability Analysis by Lazy Verification",

author = "Shahid Khan and Joost-Pieter Katoen and Matthias Volk and Marc Bouissou",

year = "2021",

doi = "10.1007/978-3-030-76384-812",

language = "English",

volume = "12673",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "180--197",

editor = "Aaron Dutle and Moscato, {Mariano M.} and Laura Titolo and Mu{\~n}oz, {C{\'e}sar A.} and Ivan Perez",

booktitle = "NASA Formal Methods - 13th International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, Proceedings",

address = "Germany",

}

Khan, S, Katoen, J-P, Volk, M & Bouissou, M 2021, Scalable Reliability Analysis by Lazy Verification. in A Dutle, MM Moscato, L Titolo, CA Muñoz & I Perez (eds), NASA Formal Methods - 13th International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, Proceedings. vol. 12673, Lecture Notes in Computer Science, Springer, pp. 180-197. https://doi.org/10.1007/978-3-030-76384-812

Scalable Reliability Analysis by Lazy Verification. / Khan, Shahid; Katoen, Joost-Pieter; Volk, Matthias et al.
NASA Formal Methods - 13th International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, Proceedings. ed. / Aaron Dutle; Mariano M. Moscato; Laura Titolo; César A. Muñoz; Ivan Perez. Vol. 12673 Springer, 2021. p. 180-197 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Scalable Reliability Analysis by Lazy Verification

AU - Khan, Shahid

AU - Katoen, Joost-Pieter

AU - Volk, Matthias

AU - Bouissou, Marc

PY - 2021

Y1 - 2021

U2 - 10.1007/978-3-030-76384-812

DO - 10.1007/978-3-030-76384-812

M3 - Conference contribution

VL - 12673

T3 - Lecture Notes in Computer Science

SP - 180

EP - 197

BT - NASA Formal Methods - 13th International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, Proceedings

A2 - Dutle, Aaron

A2 - Moscato, Mariano M.

A2 - Titolo, Laura

A2 - Muñoz, César A.

A2 - Perez, Ivan

PB - Springer

ER -

Khan S, Katoen JP, Volk M, Bouissou M. Scalable Reliability Analysis by Lazy Verification. In Dutle A, Moscato MM, Titolo L, Muñoz CA, Perez I, editors, NASA Formal Methods - 13th International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, Proceedings. Vol. 12673. Springer. 2021. p. 180-197. (Lecture Notes in Computer Science). doi: 10.1007/978-3-030-76384-812