Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Dara Ly"'
Publikováno v:
HILT 2018 Workshop on Languages and Tools for Ensuring Cyber-Resilience in Critical Software-Intensive Systems
HILT 2018 Workshop on Languages and Tools for Ensuring Cyber-Resilience in Critical Software-Intensive Systems, Nov 2018, Boston, United States. ⟨10.1145/3375408.3375416⟩
Ada Letters
Ada Letters, 2019, 38 (2), pp.97-108. ⟨10.1145/3375408.3375416⟩
ACM SIGAda Ada Letters (Pre-print)
HILT 2018 Workshop on Languages and Tools for Ensuring Cyber-Resilience in Critical Software-Intensive Systems, Nov 2018, Boston, United States. ⟨10.1145/3375408.3375416⟩
Ada Letters
Ada Letters, 2019, 38 (2), pp.97-108. ⟨10.1145/3375408.3375416⟩
ACM SIGAda Ada Letters (Pre-print)
International audience; An important concern addressed by runtime verification tools for C code is related to detecting memory errors. It requires to monitor some properties of memory locations (e.g., their validity and initialization) along the whol
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c97a22782f838ffb653e93b4ff947e9f
https://doi.org/10.1145/3375408.3375416
https://doi.org/10.1145/3375408.3375416
Publikováno v:
TAP 2020-14th International Conference on Tests and Proofs
TAP 2020-14th International Conference on Tests and Proofs, Jun 2020, Bergen, Norway. ⟨10.1007/978-3-030-50995-8_6⟩
Tests and Proofs ISBN: 9783030509941
TAP@STAF
TAP 2020-14th International Conference on Tests and Proofs, Jun 2020, Bergen, Norway. ⟨10.1007/978-3-030-50995-8_6⟩
Tests and Proofs ISBN: 9783030509941
TAP@STAF
International audience; Runtime Assertion Checking (RAC) for expressive specification languages is a non-trivial verification task, that becomes even more complex for memory-related properties of imperative languages with dynamic memory allocation. I
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9ea30b957b42b3a86e93fb5220868d57
https://hal-cea.archives-ouvertes.fr/cea-02879211
https://hal-cea.archives-ouvertes.fr/cea-02879211
