HyperPardinus extends Alloy to support specification and model checking of hyperproperties over relational design models by interfacing with low-level hyperproperty checkers.
Title resolution pending
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
citation-role summary
background 1
citation-polarity summary
roles
background 1polarities
background 1representative citing papers
The QBF Gallery 2023 report consolidates submitted solvers and formulas into a public benchmark set and compares solver performance on it while outlining future directions for the community.
citing papers explorer
-
Model checking of hyperproperties for high-level relational models
HyperPardinus extends Alloy to support specification and model checking of hyperproperties over relational design models by interfacing with low-level hyperproperty checkers.
-
The QBF Gallery 2023
The QBF Gallery 2023 report consolidates submitted solvers and formulas into a public benchmark set and compares solver performance on it while outlining future directions for the community.