Formal Verification Of A Shopping Basket Application Model Using PRISM.

Published in: CoRR (2023)

Keyphrases

probabilistic model
probability distribution
statistical model
experimental data
conceptual model
neural network
computational model
mathematical model
formal verification
objective function
orders of magnitude
formal model