TAPAAL HyperLTL: A Tool for Checking Hyperproperties of Petri Nets
- 26 October 2025
- book chapter
- Published by Springer Nature
- p. 49-61
Abstract
No abstract availableKeywords
All Related Versions
This publication has 33 references indexed in Scilit:
- Automata-Driven Partial Order Reduction and Guided Search for LTL Model Checking2022
- HyperProb: A Model Checker for Probabilistic Hyperproperties2021
- A Temporal Logic for Asynchronous Hyperproperties2021
- Bounded Model Checking for Hyperproperties2021
- Verifying Hyperliveness2019
- Secure Information Flow as a Safety Problem2005
- The Petri Net Markup Language: Concepts, Technology, and Tools2003
- NuSMV 2: An OpenSource Tool for Symbolic Model Checking2002
- Classification of Security Properties2001
- Safety versus Secrecy1999