diff options
Diffstat (limited to 'spec-glossary/glossary/formal-model.yml')
-rw-r--r-- | spec-glossary/glossary/formal-model.yml | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/spec-glossary/glossary/formal-model.yml b/spec-glossary/glossary/formal-model.yml new file mode 100644 index 00000000..da208631 --- /dev/null +++ b/spec-glossary/glossary/formal-model.yml @@ -0,0 +1,13 @@ +SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause +copyrights: +- Copyright (C) 2023 Trinity College Dublin +enabled-by: true +glossary-type: term +links: +- role: glossary-member + uid: ../glossary-general +term: formal model +text: | + A model of a computing component (hardware or software) that has a + mathematically based ${semantics:/term}. +type: glossary |