HyperProb: A Model Checker for Probabilistic Hyperproperties.

Oyendrila Dobe Erika Ábrahám Ezio Bartocci Borzoo Bonakdarpour

Published in: FM (2021)

Keyphrases

model checker
model checking
formal verification
formal methods
temporal logic
description language
formal specification
symbolic model checking
test suite
bayesian networks
specification language
set theory
software architecture
probability theory
test cases
fuzzy logic
search algorithm