From 270fa8d65bb7d70ab90d16fdc0744edac877a7d4 Mon Sep 17 00:00:00 2001 From: Sebastian Huber Date: Tue, 19 Dec 2023 08:18:06 +0100 Subject: glossary: Restrict "scenario" definition --- spec-glossary/glossary/scenario.yml | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/spec-glossary/glossary/scenario.yml b/spec-glossary/glossary/scenario.yml index 6db3cd86..47008b6a 100644 --- a/spec-glossary/glossary/scenario.yml +++ b/spec-glossary/glossary/scenario.yml @@ -8,8 +8,8 @@ links: uid: ../glossary-general term: scenario text: | - In a setting that involves many concurrent tasks that interleave in arbitrary - ways, a scenario describes a single specific possible interleaving. One - interpretation of the behaviour of a concurrent system is the set of all its - scenarios. + In the context of formal verification, in a setting that involves many + concurrent tasks that interleave in arbitrary ways, a scenario describes a + single specific possible interleaving. One interpretation of the behaviour + of a concurrent system is the set of all its scenarios. type: glossary -- cgit v1.2.3