Formally verifying decompositions of stochastic specifications.

Anton Hampus Mattias Nyberg

Published in: Int. J. Softw. Tools Technol. Transf. (2024)

Keyphrases

formal specification
model checking
monte carlo
stochastic model
stochastic optimization
high level
stochastic approximation
reactive systems
delay insensitive
machine learning
database systems
control flow
stochastic models
formal specification language