Enhancing the specification and verification techniques of multiparty sessions in SOC.
Abeer S. Al-HumaimeedyMaribel FernándezPublished in: PPDP (2015)
Keyphrases
- multi party
- formal verification
- privacy preserving
- asynchronous circuits
- model checking
- formal methods
- protocol specification
- formal specification
- secret sharing
- human communication
- colored petri nets
- specification language
- low power
- high level
- audio video
- turn taking
- artificial intelligence
- description language
- hardware and software
- case study
- concurrent systems