A procedure for deciding symbolic equivalence between sets of constraint systems (Q2013557)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A procedure for deciding symbolic equivalence between sets of constraint systems |
scientific article; zbMATH DE number 6758666
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A procedure for deciding symbolic equivalence between sets of constraint systems |
scientific article; zbMATH DE number 6758666 |
Statements
A procedure for deciding symbolic equivalence between sets of constraint systems (English)
0 references
8 August 2017
0 references
formal methods
0 references
verification
0 references
security protocols
0 references
privacy-type properties
0 references
symbolic model
0 references
0.8937393426895142
0 references
0.8811214566230774
0 references
0.8029874563217163
0 references
0.7969231605529785
0 references
0.7930744886398315
0 references
