Modular Verification of Sequential Composition for Private Channels in Maude-NPA.
Fan YangSantiago EscobarCatherine A. MeadowsJosé MeseguerPublished in: STM (2018)
Keyphrases
- model checking
- formal specification
- data sets
- formal verification
- multi channel
- privacy preserving
- communication channels
- formal analysis
- modular structure
- case study
- web service composition
- modular neural networks
- equational theories
- expert systems
- temporal logic
- feature selection
- neural network
- formal methods
- database
- fingerprint verification