Model checking temporal properties of recursive probabilistic programs

DOI10.1007/978-3-030-99253-8_23MaRDI QIDQ6830521zbMATH OpenFDO

Authors Tobias Winkler, Joost-Pieter Katoen

Publication date 23 January 2024

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

zbMATH Keywords

model checkingvisibly pushdown languagesprobabilistic pushdown automataCaRetprobabilistic recursive programs

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

This page was built for publication: Model checking temporal properties of recursive probabilistic programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6830521)