Stories tagged as formalmethods Formal methods

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

  1. 4
    Stack-Aware Hyperproperties ☶ pdf formalmethods arxiv.org
    calvin avatar via calvin 3 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  2. 10
    Efficient and Flexible Model-Based Testing formalmethods testing concerningquality.com
    amw-zero avatar authored by amw-zero 3 days ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  3. 10
    Clearing the Air - Programming with Ada ☶ formalmethods programming pyjarrett.github.io
    ahelwer avatar via ahelwer 13 days ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  4. 3
    Cleanroom Software Engineering (1987) pdf formalmethods trace.tennessee.edu
    lorddimwit avatar via lorddimwit 22 days ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  5. 19
    Writing a TLA⁺ tree-sitter grammar: my foray into free software formalmethods ahelwer.ca
    ahelwer avatar authored by ahelwer 23 days ago |
    Archive.org Archive.today Ghostarchive
    | 13 comments
  6. 18
    A Comparison of SPARK with MISRA C and Frama-C pdf c formalmethods adacore.com
    matklad avatar via matklad 24 days ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  7. 6
    Why Modeling Finds Bugs formalmethods buttondown.email
    amw-zero avatar via amw-zero 1 month ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  8. 11
    Rust Contracts RFC Draft / minutes from formal verification meeting formalmethods rust github.com
    5d22b avatar via 5d22b 1 month ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  9. 5
    Modular Formal Verification of Rust Programs with Unsafe Blocks formalmethods rust arxiv.org
    smaddox avatar via smaddox 1 month ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  10. 20
    Modeling Database Tables in Alloy formalmethods bytes.zone
    brianhicks avatar authored by brianhicks 1 month ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  11. 6
    The Hitchhiker’s Guide to Logical Verification book pdf formalmethods raw.githubusercontent.com
    nextos avatar via nextos 1 month ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  12. 5
    Thoughts on user interfaces for theorem provers formalmethods lawrencecpaulson.github.io
    calvin avatar via calvin 1 month ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  13. 5
    Finding JIT Optimizer Bugs using SMT Solvers and Fuzzing formalmethods python pypy.org
    Corbin avatar via Corbin 1 month ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  14. 4
    Combining Model Checking and Testing pdf formalmethods testing microsoft.com
    akkartik avatar via akkartik 1 month ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  15. 25
    The Case for Models formalmethods philosophy testing concerningquality.com
    amw-zero avatar authored by amw-zero 1 month ago |
    Archive.org Archive.today Ghostarchive
    | 23 comments
  16. 4
    Verifying a Token Contract formalmethods programming whileydave.com
    redjamjar avatar authored by redjamjar 1 month ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  17. 2
    fathom - A declarative data definition language for formally specifying binary data formalmethods plt github.com
    janus avatar via janus 2 months ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  18. 7
    Higher-Order Leak and Deadlock Free Locks ☶ pdf formalmethods plt julesjacobs.com
    calvin avatar via calvin 2 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  19. 70
    Let's Prove Leftpad show formalmethods hillelwayne.com
    hwayne avatar authored by hwayne 2 months ago |
    Archive.org Archive.today Ghostarchive
    | 25 comments
  20. 7
    Project Everest: Provably Secure Communication Software formalmethods security project-everest.github.io
    Moonchild avatar via Moonchild 2 months ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  21. 11
    From Fuzzing to Proof: Using Kani with the Bolero Property-Testing Framework formalmethods testing model-checking.github.io
    itamarst avatar via itamarst 3 months ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  22. 7
    C to Checked C by 3C c compilers formalmethods dl.acm.org
    pushcx avatar via pushcx 3 months ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  23. 5
    GCC translation validation part 2: Verifying GCC optimizations using an SMT solver compilers formalmethods kristerw.github.io
    jmillikin avatar via jmillikin 3 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  24. 3
    Time Modulation Protocol: a "Killer App" for Reowolf? formalmethods networking science reowolf.net
    praalhans avatar authored by praalhans 3 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  25. 5
    Obtaining Statistical Properties by Simulating TLA+ Specs with TLC video distributed formalmethods performance youtube.com
    lemmster avatar authored by lemmster 3 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments

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

Page 2 >>