Compositional Model Checking and Model Repair for a Class of Product Form Models.

Amin Soltanieh Markus Siegle

Published in: PASM (2019)

Keyphrases

model checking
probabilistic model
finite state machines
steady state
temporal logic
product form
model checker
temporal properties
verification method
queuing network
probability distribution
learning algorithm
lower bound
reactive systems
process algebra