diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2021-09-09 20:11:26 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2021-09-09 20:11:26 +0100 |
| commit | b6fb08a4d2168e34b8f54531d07df83b8ac1f5eb (patch) | |
| tree | 78bb6f8b79c4a7b758f65ab57899d4b586236dc5 /main.tex | |
| parent | eecf8b7d605b5fc4bb239eab5907a683377dba9b (diff) | |
| download | oopsla21_fvhls-b6fb08a4d2168e34b8f54531d07df83b8ac1f5eb.tar.gz oopsla21_fvhls-b6fb08a4d2168e34b8f54531d07df83b8ac1f5eb.zip | |
Some more slight changes
Diffstat (limited to 'main.tex')
| -rw-r--r-- | main.tex | 15 |
1 files changed, 10 insertions, 5 deletions
@@ -180,16 +180,21 @@ <concept_significance>300</concept_significance> </concept> <concept> - <concept_id>10002978.10002986.10002990</concept_id> - <concept_desc>Security and privacy~Logic and verification</concept_desc> + <concept_id>10011007.10011074.10011099.10011692</concept_id> + <concept_desc>Software and its engineering~Formal software verification</concept_desc> <concept_significance>500</concept_significance> </concept> - </ccs2012> + <concept> + <concept_id>10003752.10010124.10010138.10010142</concept_id> + <concept_desc>Theory of computation~Program verification</concept_desc> + <concept_significance>500</concept_significance> + </concept> +</ccs2012> \end{CCSXML} \ccsdesc[500]{Hardware~High-level and register-transfer level synthesis} -\ccsdesc[300]{Hardware~Functional verification} -\ccsdesc[500]{Security and privacy~Logic and verification} +\ccsdesc[500]{Software and its engineering~Formal software verification} +\ccsdesc[500]{Theory of computation~Program verification} %% Keywords |