diff options
Diffstat (limited to 'spec-glossary/glossary/scenario.yml')
-rw-r--r-- | spec-glossary/glossary/scenario.yml | 8 |
1 files 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 |