Search alternatives:
policy implementation » practical implementation (Expand Search)
tool implementing » model implementing (Expand Search), trial implementing (Expand Search), from implementing (Expand Search)
Showing 1 - 1 results of 1 for search '(( python tool implementing ) OR ( python policy implementation ))~', query time: 0.18s Refine Results
  1. 1
    The artifacts and data for the paper "DD4AV: Detecting Atomicity Violations in Interrupt-Driven Programs with Guided Concolic Execution and Filtering" (OOPSLA 2025)

    The artifacts and data for the paper "DD4AV: Detecting Atomicity Violations in Interrupt-Driven Programs with Guided Concolic Execution and Filtering" (OOPSLA 2025) by zixuan yuan (17602152)

    Published 2025
    “…</li><li><code><strong>realworld_AV</strong></code>: 18 real-world embedded interrupt-driven programs, all written in C, including control software, firmware, and device drivers.</li></ul><h2><b>Tool</b></h2><h3><b>Requirements</b></h3><p dir="ltr">To install the tool from source code on your host system, please ensure that your environment meets the following requirements:</p><p dir="ltr"><b>Operating System:</b> Ubuntu 18.04 LTS or higher (requires kernel version 4.x or above due to the scheduling policy).…”
    Save to List
    Saved in:

Search Tools: