Stories tagged as formalmethods Formal methods

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

  1. 5
    TLA+ Survey 2022 - Tell us what you love & hate formalmethods docs.google.com
    lemmster avatar via lemmster 4 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  2. 13
    Fixing a MongoDB Replication Protocol Bug with TLA+ pdf databases formalmethods tla.msr-inria.inria.fr
    eatonphil avatar via eatonphil 15 days ago |
    Archive.org Archive.today Ghostarchive
    | 5 comments
  3. 22
    Proving the Coding Interview formalmethods cs.utexas.edu
    azhenley avatar via azhenley 29 days ago |
    Archive.org Archive.today Ghostarchive
    | 7 comments
  4. 6
    modelator-py: Utilities for the TLA+ ecoystem formalmethods github.com
    hwayne avatar via hwayne 1 month ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  5. 14
    Static Analysis at GitHub formalmethods cacm.acm.org
    sanxiyn avatar via sanxiyn 1 month ago |
    Archive.org Archive.today Ghostarchive
    | 8 comments
  6. 18
    High Assurance Rust formalmethods rust security highassurance.rs
    matklad avatar via matklad 1 month ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  7. 26
    Linux needs a explicitly defined userspace API api formalmethods linux catern.com
    catern avatar authored by catern 1 month ago |
    Archive.org Archive.today Ghostarchive
    | 6 comments
  8. 15
    Pantagruel v0.5.1 formalmethods release github.com
    zdsmith avatar authored by zdsmith 1 month ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  9. 17
    bonak: an iterated Grothendieck construction of semi-cubical types show formalmethods math github.com
    artagnon avatar authored by artagnon 2 months ago |
    Archive.org Archive.today Ghostarchive
    | 8 comments
  10. 21
    Untangling mechanized proofs formalmethods plv.csail.mit.edu
    jtm avatar via jtm 2 months ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  11. 14
    Pantagruel Specification Language formalmethods pantagruel-language.com
    lorddimwit avatar via lorddimwit 2 months ago |
    Archive.org Archive.today Ghostarchive
    | 10 comments
  12. 18
    A Specification of a Note-Taking Program formalmethods programming blog.zdsmith.com
    zdsmith avatar authored by zdsmith 2 months ago |
    Archive.org Archive.today Ghostarchive
    | 6 comments
  13. 15
    A Formal Model of Checked C c formalmethods arxiv.org
    sanxiyn avatar via sanxiyn 3 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  14. 13
    Solving (Some) Formal Math Olympiad Problems ai formalmethods math openai.com
    NieDzejkob avatar via NieDzejkob 3 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  15. 26
    Formal modeling as a design tool formalmethods asim.ihsan.io
    hwayne avatar via hwayne 3 months ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  16. 12
    Using the Z3 Theorem Prover to analyze RBAC formalmethods goteleport.com
    ahelwer avatar authored by ahelwer 3 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  17. 5
    Less is more: multiparty session types revisited formalmethods dl.acm.org
    pmonson711 avatar via pmonson711 3 months ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  18. 10
    Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3 formalmethods dl.acm.org
    pushcx avatar via pushcx 4 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  19. 2
    Savile Row constraint modelling assistant formalmethods savilerow.cs.st-andrews.ac.uk
    vladislavp avatar via vladislavp 4 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  20. 18
    Solving Wordle with Z3 formalmethods games typon.github.io
    calvin avatar via calvin 4 months ago |
    Archive.org Archive.today Ghostarchive
    | 7 comments
  21. 15
    Let’s Use An Automated Theorem Prover To Verify Video Games; I Swear This Is More Fun Than It Sounds slides video formalmethods games youtube.com
    calvin avatar via calvin 4 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  22. 6
    Sharing and Learning Alloy on the Web (2019) ☶ pdf education formalmethods arxiv.org
    hcs avatar via hcs 4 months ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  23. 13
    A Manifesto for Applicable Formal Methods ☶ pdf formalmethods arxiv.org
    ToKi avatar via ToKi 4 months ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  24. 8
    Rust and SPARK(Ada): Software Reliability for Everyone devops formalmethods osdev programming electronicdesign.com
    jaypatelani avatar via jaypatelani 4 months ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  25. 10
    Formal verification of IA-64 division algorithms (2000) pdf formalmethods cl.cam.ac.uk
    calvin avatar via calvin 4 months ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments

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

Page 2 >>