Team Semantics for the Specification and Verification of Hyperproperties.
Andreas KrebsArne MeierJonni VirtemaMartin ZimmermannPublished in: CoRR (2017)
Keyphrases
- formal verification
- specification language
- process algebra
- asynchronous circuits
- model checking
- formal specification
- operational semantics
- formal methods
- conceptual model
- formal language
- action language
- specification languages
- formal semantics
- formal languages
- high level
- protocol specification
- agent oriented programming language
- definition language
- logic programming
- active rules
- conceptual schema
- epistemic logic
- colored petri nets
- concurrent systems
- cooperating agents
- face verification
- description language
- team members
- modeling language
- programming language
- attribute grammars
- metadata
- neural network
- databases