Stories tagged as formalmethods Formal methods

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

  1. 5
    Original Congruence Closure Paper in Python with Egglog compilers formalmethods historical python egglog-python.readthedocs.io
    saulshanabrook avatar authored by saulshanabrook 4 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  2. 3
    bfcoq: Brainfuck compiler in Coq compilers formalmethods programming github.com
    edoput avatar via edoput 6 days ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  3. 5
    Aesop: White-Box Best-First Proof Search for Lean formalmethods dl.acm.org
    jakob avatar via jakob 6 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  4. 26
    After 8 Years: NetHSM is Available! Formally verified open source HSM formalmethods hardware ml security nitrokey.com
    raymii avatar via raymii 6 days ago |
    Archive.org Archive.today Ghostarchive
    | 5 comments
  5. 12
    modeling CRDTs in Alloy - counters distributed formalmethods bytes.zone
    brianhicks avatar authored by brianhicks 9 days ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  6. 14
    Wasm SpecTec: Engineering a Formal Language Standard formalmethods plt arxiv.org
    amw-zero avatar via amw-zero 19 days ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  7. 6
    A Theory of Compositional Tool-Assisted Speedrunning formalmethods games math reversing gist.github.com
    Corbin avatar authored by Corbin 21 days ago |
    Archive.org Archive.today Ghostarchive
    | 6 comments
  8. 7
    OpenBSD formal driver verification with SeL4 formalmethods openbsd security arxiv.org
    kuijsten avatar via kuijsten 23 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  9. 5
    Solving a Sudoku with SBY and Formal Verification formalmethods hardware blog.yosyshq.com
    pbsds avatar via pbsds 23 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  10. 14
    Can the Collatz conjecture be proven, or not? formalmethods hansdieterhiep.nl
    praalhans avatar authored by praalhans 1 month ago |
    Archive.org Archive.today Ghostarchive
    | 5 comments
  11. 12
    Wrangling monotonic systems in TLA+ distributed formalmethods ahelwer.ca
    ahelwer avatar authored by ahelwer 1 month ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  12. 5
    Control flow for Datalog compilers formalmethods mbid.me
    mbid avatar authored by mbid 1 month ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  13. 17
    Under the hood of Rosette formalmethods lisp rdivyanshu.github.io
    rdivyanshu avatar authored by rdivyanshu 1 month ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  14. 8
    Verifying Selection Sort: an Introduction to Program Verification in Dafny formalmethods dafny.org
    hwayne avatar via hwayne 1 month ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  15. 5
    Alloy to C# models dotnet formalmethods haskell github.com
    hwayne avatar via hwayne 1 month ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  16. 6
    TLA+ Made Simple with ChatGPT ai formalmethods zfhuang99.github.io
    hwayne avatar via hwayne 1 month ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  17. 4
    A primer on formal verification and TLA+ formalmethods jack-vanlightly.com
    hwayne avatar via hwayne 1 month ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  18. 15
    modeling CRDTs in Alloy - the importance of idempotence formalmethods bytes.zone
    brianhicks avatar authored by brianhicks 1 month ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  19. 7
    What is an Invariant? formalmethods testing matklad.github.io
    amw-zero avatar via amw-zero 1 month ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  20. 9
    Forward and Backward Reasoning in Proof Assistants formalmethods math concerningquality.com
    amw-zero avatar authored by amw-zero 2 months ago |
    Archive.org Archive.today Ghostarchive
    | 5 comments
  21. 12
    Pancake: Verified Systems Programming Made Sweeter pdf formalmethods plt trustworthy.systems
    lorddimwit avatar via lorddimwit 2 months ago |
    Archive.org Archive.today Ghostarchive
    | 19 comments
  22. 12
    Functions as Methods in Dafny? formalmethods programming whileydave.com
    redjamjar avatar authored by redjamjar 2 months ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  23. 8
    Modeling in-flight requests in Alloy formalmethods bytes.zone
    brianhicks avatar authored by brianhicks 2 months ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  24. 18
    Formal Methods can't fix everything and that's okay formalmethods security buttondown.email
    amw-zero avatar via amw-zero 2 months ago |
    Archive.org Archive.today Ghostarchive
    | 10 comments
  25. 12
    Pitfalls of Programming with Dependent Types formalmethods plt lean-lang.org
    ahelwer avatar via ahelwer 2 months ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments

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

Page 2 >>