HyperPardinus extends Alloy to support specification and model checking of hyperproperties over relational design models by interfacing with low-level hyperproperty checkers.
2006.Software abstractions: Logic, language, and analysis(revised ed.)
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.SE 1years
2025 1verdicts
CONDITIONAL 1representative citing papers
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.