Model Checking Temporal Properties of Recursive Probabilistic Programs.
Tobias WinklerChristina GehnenJoost-Pieter KatoenPublished in: Log. Methods Comput. Sci. (2023)
Keyphrases
- temporal properties
- model checking
- temporal logic
- finite state machines
- model checker
- formal verification
- computation tree logic
- automated verification
- symbolic model checking
- formal methods
- formal specification
- process algebra
- verification method
- abstract interpretation
- probabilistic model
- timed automata
- possibility theory
- knowledge base
- reactive systems
- epistemic logic
- fixpoint
- probability theory
- fuzzy set theory
- inference rules
- software development
- bayesian networks