Stories tagged as formalmethods Formal methods

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

  1. 17
    Why Liquid Haskell matters formalmethods haskell tweag.io
    WilhelmVonWeiner avatar via WilhelmVonWeiner 2 days ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  2. 6
    Proving My Compiler Code Incorrect With Alloy compilers formalmethods danilafe.com
    danilafe avatar authored by danilafe 4 days ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  3. 3
    How s2n-quic uses Kani to inspire confidence formalmethods rust testing model-checking.github.io
    camshaft avatar via camshaft 9 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  4. 22
    x86-sat: Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs assembly compilers formalmethods github.com
    sergeyb avatar via sergeyb 25 days ago |
    Archive.org Archive.today Ghostarchive
    | 5 comments
  5. 30
    An Introduction to TLA+ and Its Use in Parties formalmethods innoq.com
    jeeger avatar authored by jeeger 1 month ago |
    Archive.org Archive.today Ghostarchive
    | 9 comments
  6. 12
    Petri Net Theory and the Modeling of Systems book formalmethods math jklp.org
    hwayne avatar via hwayne 1 month ago |
    Archive.org Archive.today Ghostarchive
    | 6 comments
  7. 2
    Specifying and Verifying Higher-order Rust Iterators formalmethods rust hal.science
    5d22b avatar via 5d22b 1 month ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  8. 2
    Writing Code with ChatGPT? Improve it with Kani ai formalmethods rust model-checking.github.io
    5d22b avatar via 5d22b 1 month ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  9. 2
    SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems (2015) video formalmethods osdev testing youtube.com
    amw-zero avatar via amw-zero 1 month ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  10. 5
    Modeling Git Internals in Alloy, Part 3: Operations on Blobs and Trees formalmethods bytes.zone
    brianhicks avatar via brianhicks 1 month ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  11. 22
    Linux Foundation Announces Launch of TLA+ Foundation formalmethods linuxfoundation.org
    ahelwer avatar via ahelwer 1 month ago |
    Archive.org Archive.today Ghostarchive
    | 12 comments
  12. 6
    IAMSpy formalmethods security github.com
    df avatar via df 1 month ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  13. 9
    Breaking the limits of TLA+ model checking formalmethods hillelwayne.com
    hwayne avatar authored by hwayne 1 month ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  14. 23
    What I've Learned About Formal Methods In Half a Year formalmethods jakob.space
    jakob avatar authored by jakob 2 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  15. 14
    Modeling Git Internals in Alloy, Part 2: Commits and Tags formalmethods bytes.zone
    brianhicks avatar authored by brianhicks 2 months ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  16. 18
    Using TLA⁺ at Work: Designing a Snapshot Coordination System distributed formalmethods ahelwer.ca
    ahelwer avatar authored by ahelwer 2 months ago |
    Archive.org Archive.today Ghostarchive
    | 13 comments
  17. 28
    Modeling Git Internals in Alloy, Part 1: Blobs and Trees formalmethods bytes.zone
    brianhicks avatar authored by brianhicks 2 months ago |
    Archive.org Archive.today Ghostarchive
    | 12 comments
  18. 13
    How Kani helped find bugs in Hifitime formalmethods rust science testing model-checking.github.io
    xionbox avatar authored by xionbox 2 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  19. 12
    Pseudocode Showdown: Python vs. PlusCal & TLA+ formalmethods ahelwer.ca
    ahelwer avatar authored by ahelwer 2 months ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  20. 9
    Programming Languages for Verifying Compilers ☶ video formalmethods programming youtube.com
    redjamjar avatar authored by redjamjar 2 months ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  21. 5
    Proof Engineering Survey Paper: Q(ED) & A formalmethods plt taliasplse.wordpress.com
    nextos avatar via nextos 2 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  22. 7
    Static Program Analysis book formalmethods plt cs.au.dk
    nextos avatar via nextos 2 months ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  23. 4
    Correctness of Two Sorting Algorithms formalmethods hansdieterhiep.nl
    praalhans avatar authored by praalhans 2 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  24. 1
    Automatic verification of transparency protocols (extended version) ☶ pdf formalmethods arxiv.org
    calvin avatar via calvin 3 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  25. 3
    The semantics of a simple functional language formalmethods plt lawrencecpaulson.github.io
    amw-zero avatar via amw-zero 3 months ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments

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

Page 2 >>