Stories tagged as formalmethods Formal methods

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

  1. 14
    owi: Cross-language Bugfinder formalmethods ml github.com/ocamlpro
    jeanthomas avatar via jeanthomas 33 hours ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  2. 1
    Learning formal verification by writing a spec for verifying a zero-downtime database migration in PlusCal formalmethods biradarganesh25.github.io
    hwayne avatar via hwayne 2 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  3. 7
    Systems Correctness Practices at AWS: Leveraging Formal and Semi-formal Methods formalmethods dl.acm.org
    ahelwer avatar via ahelwer 6 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  4. 10
    Lean 4, release v4.17.0 formalmethods release github.com/leanprover
    ehamberg avatar via ehamberg 8 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  5. 1
    Generics and Typeclasses in Knuckledragger formalmethods plt python philipzucker.com
    asb avatar via asb 9 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  6. 15
    A Mechanically Verified Garbage Collector for OCaml pdf formalmethods ml kcsrk.info
    rrampage avatar via rrampage 10 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  7. 9
    Quint Deserves Rust formalmethods rust informal.systems
    ahelwer avatar via ahelwer 19 days ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  8. 10
    Practical Alloy: A hands-on guide to formal software design book formalmethods practicalalloy.github.io
    hwayne avatar via hwayne 21 days ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  9. 5
    Where are all the Rewrite Rules? formalmethods math programming philipzucker.com
    felixyz avatar via felixyz 21 days ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  10. 9
    Jepsen Test on Patroni: A PostgreSQL High Availability Solution (2024) databases formalmethods binwang.me
    amw-zero avatar via amw-zero 25 days ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  11. 2
    Systems Correctness Practices at AWS: Leveraging Formal and Semi-formal Methods formalmethods dl.acm.org
    mjref avatar via mjref 28 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  12. 1
    Comparing Two Verilog CPU Implementations using EBMC formalmethods hardware philipzucker.com
    asb avatar via asb 29 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  13. 6
    ACL2 formalmethods lisp cs.utexas.edu
    veqq avatar via veqq 1 month ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  14. 5
    Regular Expressions which query Oracles formalmethods arxiv.org
    agnishom avatar via agnishom 1 month ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  15. 5
    CUTECat: Concolic Execution for Computational Law formalmethods law arxiv.org
    raphaelm avatar authored by raphaelm 1 month ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  16. 5
    About Safety, Security and yes, C++ and Rust (2023) c++ formalmethods plt rust security yoric.github.io
    bitfield avatar via bitfield 1 month ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  17. 10
    Verified and Efficient Matching of Regular Expressions with Lookaround formalmethods github.com/agnishom
    agnishom avatar authored by agnishom 1 month ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  18. 39
    When the Simplest Concurrent Program Goes Against All Intuition compsci formalmethods wyounas.github.io
    hwayne avatar via hwayne 1 month ago |
    Archive.org Archive.today Ghostarchive
    | 12 comments
  19. 6
    Verified post-quantum cryptography on the web cryptography formalmethods web pq.cryspen.com
    nadim avatar via nadim 1 month ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  20. 18
    Alloy 6.2.0 released formalmethods alloytools.discourse.group
    grayswandyr avatar authored by grayswandyr 2 months ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  21. 18
    How can we compare expressive power between two Turing-complete languages? formalmethods plt langdev.stackexchange.com
    dpk avatar via dpk 2 months ago |
    Archive.org Archive.today Ghostarchive
    | 6 comments
  22. 11
    Stuff I learnt in 2024 formalmethods pixel-druid.com
    bollu avatar authored by bollu 2 months ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  23. 14
    Symbolic Execution by Overloading __bool__ formalmethods python philipzucker.com
    mjn avatar via mjn 2 months ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  24. 14
    Controlling Nondeterminism in Model-Based Tests with Prophecy Variables databases formalmethods testing concerningquality.com
    amw-zero avatar authored by amw-zero 2 months ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  25. 7
    Formal Methods: Just Good Engineering Practice? formalmethods brooker.co.za
    phk avatar via phk 2 months ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments

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

Page 2 >>