diff options
| author | Andrew Butterfield <andrew.butterfield@scss.tcd.ie> | 2023-11-09 11:26:56 +0000 |
|---|---|---|
| committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2023-11-09 13:44:36 +0100 |
| commit | 2c88912893ebbcc3b9fa14d4fcc100c42252d0df (patch) | |
| tree | b4c31ddb99acab7aed836fbfaef1557bdc12fce3 /eng/index.rst | |
| parent | user/exe: Add MicroBlaze to Dynamic Loader architecture list (diff) | |
| download | rtems-docs-2c88912893ebbcc3b9fa14d4fcc100c42252d0df.tar.bz2 | |
eng: Add formal verification chapter
Diffstat (limited to '')
| -rw-r--r-- | eng/index.rst | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/eng/index.rst b/eng/index.rst index a4d4563..e4712ae 100644 --- a/eng/index.rst +++ b/eng/index.rst @@ -11,6 +11,7 @@ RTEMS Software Engineering (|version|) .. topic:: Copyrights and License + | |copy| 2022 Trinity College Dublin | |copy| 2018, 2020 embedded brains GmbH & Co. KG | |copy| 2018, 2020 Sebastian Huber | |copy| 1988, 2015 On-Line Applications Research Corporation (OAR) @@ -31,11 +32,13 @@ RTEMS Software Engineering (|version|) management test-plan test-framework + fv/index build-system release-mgmt users-manuals license-requirements appendix-a + fv/appendix-fv function_and_variable concept glossary |