From 3d5a44f7811d66625d4fded8c72a7588e777be75 Mon Sep 17 00:00:00 2001 From: trochas Date: Fri, 21 Nov 2025 08:32:14 +0100 Subject: [PATCH] structure pour Answers --- sujet.md | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) diff --git a/sujet.md b/sujet.md index 3ece0e0..4a6decd 100644 --- a/sujet.md +++ b/sujet.md @@ -11,3 +11,20 @@ 5. Shortly after the appearance of WebAssembly another paper proposed a mechanized specification of the language using Isabelle. The paper can be consulted here: https://www.cl.cam.ac.uk/~caw77/papers/mechanising-and-verifying-the-webassembly-specification.pdf. This mechanized specification complements the first formalization attempt from the paper. According to the author of this second paper, what are the main advantages of the mechanized specification? Did it help improving the original formal specification of the language? What other artifacts were derived from this mechanized specification? How did the author verify the specification? Does this new specification removes the need for testing? ## Answers + +1. Software bug : + + +2. Apache Bug : +COLLECTIONS-799: "UnmodifiableNavigableSet can be modified by pollFirst() and pollLast()" +https://issues.apache.org/jira/projects/COLLECTIONS/issues/COLLECTIONS-799?filter=doneissues + + +3. Chaos Engineering : + + +4. Web Assembly : + + +5. +