diff options
author | Andrew Butterfield <andrew.butterfield@scss.tcd.ie> | 2023-11-28 14:43:41 +0100 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2023-11-28 17:24:53 +0100 |
commit | 9a339d9ca421861e910d9e89c3ae76f7062d2f8f (patch) | |
tree | c4428f11c50c1c4d41b35c235ceaaa0f6e2f8504 /spec-glossary/glossary/formal-model.yml | |
parent | modules: Update rtems (diff) | |
download | rtems-central-9a339d9ca421861e910d9e89c3ae76f7062d2f8f.tar.bz2 |
glossary: Add formal methods terms
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 |