Conformance Verification of Normative Specifications using C-O Diagrams
Gregorio DíazLuis LlanaValentín Valero RuizJosé Antonio MateoPublished in: FLACOS (2012)
Keyphrases
- protocol specification
- automated verification
- concurrent systems
- formal specification
- formal verification
- communication protocols
- model checking
- bounded model checking
- asynchronous circuits
- model checker
- formal methods
- neural network
- face verification
- signature verification
- information systems
- learning algorithm
- temporal logic
- multi agent systems
- cooperative
- high level
- verification method
- case study
- class diagram
- search engine