Verification of Variability-Intensive Stochastic Systems with Statistical Model Checking.

Sami Lazreg Maxime Cordy Axel Legay

Published in: ISoLA (3) (2022)

Keyphrases

model checking
stochastic systems
confidence intervals
temporal logic
formal verification
automated verification

model checker
verification method
formal specification
finite state
temporal properties
formal methods

stochastic models
epistemic logic
symbolic model checking
bounded model checking
computation tree logic
concurrent systems

sample path
modal logic
transition systems
ctl model update
asynchronous circuits
chaotic systems