Towards a Proof System for Probabilistic Dynamic Logic
- 13 November 2024
- book chapter
- Published by Springer Nature
- p. 322-338
Abstract
No abstract availableKeywords
All Related Versions
This publication has 25 references indexed in Scilit:
- Symbolic Semantics for Probabilistic Programs2023
- Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants2023
- A Specification Logic for Programs in the Probabilistic Guarded Command Language2022
- A Storm is Coming: A Modern Probabilistic Model Checker2017
- Dynamic Logic for Java2016
- Deductive Software Verification – The KeY Book2016
- Viper: A Verification Infrastructure for Permission-Based Reasoning2015
- ABS: A Core Language for Abstract Behavioral Specification2011
- Z3: An Efficient SMT Solver2008
- Approximative Symbolic Model Checking of Continuous-Time Markov Chains1999