Stories tagged as formalmethods Formal methods

Most often also tagged with c security plt compsci testing math compilers distributed

  1. 5
    Program Analysis (an Appetizer) formalmethods plt arxiv.org
    nextos avatar via nextos 3 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  2. 15
    Solving the Dog-Bunny Puzzle with Program Verification Technology compsci formalmethods programming pathsensitive.com
    jkoppel avatar authored by jkoppel 4 days ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  3. 17
    Extracting a Verified Interpreter from Isabelle/HOL formalmethods plt concerningquality.com
    amw-zero avatar authored by amw-zero 5 days ago |
    Archive.org Archive.today Ghostarchive
    | 13 comments
  4. 14
    Proving the obvious formalmethods math lawrencecpaulson.github.io
    hwayne avatar via hwayne 6 days ago |
    Archive.org Archive.today Ghostarchive
    | 9 comments
  5. 5
    aneris: Program logic for developing and verifying distributed systems distributed formalmethods github.com
    janus avatar via janus 7 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  6. 22
    Finding the “Second Bug” in glibc’s Condition Variable c debugging formalmethods ml probablydance.com
    Confusion avatar via Confusion 8 days ago |
    Archive.org Archive.today Ghostarchive
    | 8 comments
  7. 7
    Why are you being constructive? formalmethods lawrencecpaulson.github.io
    amw-zero avatar via amw-zero 8 days ago |
    Archive.org Archive.today Ghostarchive
    | 8 comments
  8. 8
    GCC Translation Validation compilers formalmethods kristerw.github.io
    sanxiyn avatar via sanxiyn 8 days ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  9. 23
    The Golden Age of PL Research formalmethods plt semantic-domain.blogspot.com
    amw-zero avatar via amw-zero 10 days ago |
    Archive.org Archive.today Ghostarchive
    | 6 comments
  10. 18
    Security and Correctness in Wasmtime formalmethods security testing wasm bytecodealliance.org
    sanxiyn avatar via sanxiyn 12 days ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  11. 16
    The five-minute feedback fix formalmethods github.com
    hwayne avatar authored by hwayne 12 days ago |
    Archive.org Archive.today Ghostarchive
    | 6 comments
  12. 4
    Report on Secure Compilation Research pdf compilers formalmethods security drops.dagstuhl.de
    indolering avatar via indolering 13 days ago |
    Archive.org Archive.today Ghostarchive
    | 5 comments
  13. 3
    Stratified Synthesis: Automatically Learning the x86-64 Instruction Set (2016) pdf assembly formalmethods cs.stanford.edu
    calvin avatar via calvin 16 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  14. 17
    The Hitchhiker’s Guide to Logical Verification pdf formalmethods math browncs1951x.github.io
    jakob avatar via jakob 18 days ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  15. 3
    VPEXPANDB on NEON with Z3 formalmethods performance zeux.io
    mikejsavage avatar via mikejsavage 19 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  16. 19
    Safety and Liveness Properties formalmethods programming hillelwayne.com
    hwayne avatar authored by hwayne 19 days ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  17. 11
    Solving The Witness with Z3 (Part 1) formalmethods games rust techofnote.com
    calvin avatar via calvin 21 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  18. 26
    GOSPEL: A tool-agnostic formal specification language for OCaml formalmethods ml github.com
    jmiven avatar via jmiven 22 days ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  19. 10
    A full online version of Object-Oriented Software Construction, 2nd edition book formalmethods programming bertrandmeyer.com
    jmiven avatar via jmiven 22 days ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  20. 16
    Online Z3 Guide formalmethods microsoft.github.io
    hwayne avatar via hwayne 1 month ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  21. 4
    State Space Explosion: The Reason We Can Never Test Software to Perfection (2021) formalmethods testing concerningquality.com
    amw-zero avatar authored by amw-zero 1 month ago |
    Archive.org Archive.today Ghostarchive
    | 5 comments
  22. 7
    Property-Based Testing Against a Model of a Web Application formalmethods testing concerningquality.com
    amw-zero avatar authored by amw-zero 1 month ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  23. 9
    Formally Verifying Rust's Opaque Types formalmethods plt rust dylanj.xyz
    yonkeltron avatar via yonkeltron 1 month ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  24. 10
    The Natural Number Game - interactive Lean tutorial compsci formalmethods math ma.imperial.ac.uk
    hauleth avatar via hauleth 2 months ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  25. 42
    The Ferrocene Language Specification is here compsci formalmethods rust ferrous-systems.com
    akavel avatar via akavel 2 months ago |
    Archive.org Archive.today Ghostarchive
    | 7 comments

Tip: read stories across multiple tags with /t/tag1,tag2

Page 2 >>