Control-Flow Refinement for Probabilistic Programs in KoAT.

Nils Lommen Éléanore Meyer Jürgen Giesl

Published in: CoRR (2024)

Keyphrases

control flow
data flow
process model
transition systems
software testing
probabilistic model
workflow management systems
bayesian networks
business process models
reactive systems
database
artificial intelligence
formal semantics
databases
knowledge base