vuminh224/VV-ISTIC-TP1
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

structure pour Answers

Browse Source
This commit is contained in:
trochas
2025-11-21 08:32:14 +01:00
parent ef2684b394
commit 3d5a44f781
1 changed files with 17 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

17
sujet.md
View File

@@ -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.