http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png

Latticed $k$-Induction with an Application to Probabilistic Programs

Batz, Kevin (Corresponding author)^RWTH* ; Chen, Mingshuai (Corresponding author)^RWTH* ; Kaminski, Benjamin Lucien (Corresponding author) ; Katoen, Joost-Pieter (Corresponding author)^RWTH* ; Matheja, Christoph (Corresponding author) ; Schröer, Philipp^RWTH*

In
Computer-Aided Verification : 33rd International Conference, CAV 2021 : Virtual Eventy July 20-23, 2021 : Proceedings / Alexandra Silva, Alexandra and K. Rustan M. Leino (Eds.). - Part II, Seiten/Artikel-Nr: 524-549

2021

Konferenz/Event:33. International Conference on Computer-Aided Verification , online , CAV 2021 , 2021-07-18 - 2021-07-24

ImpressumCham, Switzerland : Springer

Umfang524-549

ISBN978-3-030-81687-2, 978-3-030-81688-9

ReiheLecture notes in computer science ; 12760

Konferenzort: Los Angeles, California, USA

Online
DOI: 10.18154/RWTH-2021-06838
DOI: 10.1007/978-3-030-81688-9_25
10.1007/978-3-030-81688-9_25
URL: https://publications.rwth-aachen.de/record/822587/files/822587.pdf

Einrichtungen

1. Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) (121310)
2. Fachgruppe Informatik (120000)

Projekte

1. FRAPPANT - Formal Reasoning About Probabilistic Programs: Breaking New Ground for Automation (787914) (787914)

Inhaltliche Beschreibung (Schlagwörter)
bounded model checking (frei) ; fixed point theory (frei) ; k-induction (frei) ; probabilistic programs (frei) ; quantitative verification (frei)

OpenAccess:
PDF

Dokumenttyp
Contribution to a book/Contribution to a conference proceedings

Format
online, print

Sprache
English

Anmerkung
Peer reviewed article

Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-85115855967
WOS Core Collection: WOS:000693429500025
OpenAlex: W3170747208

Interne Identnummern
RWTH-2021-06838
Datensatz-ID: 822587

Beteiligte Länder
Germany, Switzerland, UK