Team Semantics for the Specification and Verification of Hyperproperties.
Andreas KrebsArne MeierJonni VirtemaMartin ZimmermannPublished in: MFCS (2018)
Keyphrases
- formal verification
- specification language
- process algebra
- model checking
- asynchronous circuits
- formal methods
- formal specification
- formal semantics
- formal language
- specification languages
- concurrent systems
- conceptual model
- semantic information
- team members
- high level
- active rules
- operational semantics
- conceptual schema
- definition language
- programming language
- cooperating agents
- action language
- relational databases
- temporal logic
- protocol specification
- face verification
- attribute grammars
- control flow
- agent oriented programming language
- robot soccer
- description language
- petri net
- natural language