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
representative citing papers
A survey frames CPS resilience through five themes and illustrates them in connected transportation and medical systems to provide a roadmap for real-world resilience.
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.
-
Digital Guardians: The Past and The Future of Cyber-Physical Resilience
A survey frames CPS resilience through five themes and illustrates them in connected transportation and medical systems to provide a roadmap for real-world resilience.