HN Explorer

touisteur

↗ HN profile [ 79.3 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Co-Developing Programs and Their Proof of Correctness – The Spark Toolset (cacm.acm.org)
    1 points 0
  2. Advanced Fuzz Testing with AFL++ 3.0 (blog.adacore.com)
    3 points 1
  3. Using Pointers in Spark (blog.adacore.com)
    2 points 0
  4. Safe Dynamic Memory Management in Ada and SPARK (adacore.com)
    32 points 5
  5. Tokeneer Fully Verified with SPARK 2014 (blog.adacore.com)
    2 points 0
  6. Leveraging Ada Run-Time Checks with Fuzz Testing in AFL (blog.adacore.com)
    6 points 1
  7. Safe Pointers in SPARK 2014 (arxiv.org)
    70 points 42
  8. Physical Units Pass the Generic Test (blog.adacore.com)
    1 points 0