Stories tagged as formalmethods – Formal methods

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

  1. 19
    Diff the behavior of two python functions formalmethods python testing github.com
    pschanely avatar authored by pschanely 7 days ago | cached | 8 comments
  2. 5
    Schemes in Lean formalmethods math arxiv.org
    gthm avatar via gthm 15 days ago | cached | no comments
  3. 1
    HACL*: a formally verified cryptographic library crypto formalmethods hacl-star.github.io
    sanxiyn avatar via sanxiyn 19 days ago | cached | no comments
  4. 17
    Weeks of Debugging Can Save You Hours of TLA+ video debugging formalmethods youtube.com
    lemmster avatar authored by lemmster 20 days ago | cached | 2 comments
  5. 21
    Coding as a tool of thought formalmethods practices surfingcomplexity.blog
    hwayne avatar via hwayne 1 month ago | cached | 9 comments
  6. 5
    The 2020 Expert Survey on Formal Methods pdf formalmethods fmeurope.org
    sergeyb avatar via sergeyb 1 month ago | cached | no comments
  7. 11
    TLA+ at Microsoft to build planetary-scale systems video distributed formalmethods youtube.com
    lemmster avatar via lemmster 1 month ago | cached | no comments
  8. 26
    Use polling for resiliency formalmethods blog.gchinis.com
    hwayne avatar via hwayne 1 month ago | cached | 7 comments
  9. 9
    Proofs Should Repair Themselves formalmethods galois.com
    hwayne avatar via hwayne 1 month ago | cached | 2 comments
  10. 5
    Safety and Liveness Properties formalmethods buttondown.email
    hwayne avatar authored by hwayne 1 month ago | cached | no comments
  11. 12
    ZetZ is a Formally Verified Dialect of C c formalmethods rust infoq.com
    Sietsebb avatar via Sietsebb 2 months ago | cached | 1 comment
  12. 13
    Notes on Paxos distributed formalmethods math matklad.github.io
    matklad avatar authored by matklad 2 months ago | cached | no comments
  13. 6
    Towards making formal methods normal: meeting developers where they are ☶ compsci formalmethods arxiv.org
    craigstuntz avatar via craigstuntz 2 months ago | cached | no comments
  14. 3
    Typedefs api compilers compsci formalmethods plt programming typedefs.com
    bshanks avatar via bshanks 2 months ago | cached | 1 comment
  15. 17
    Two workers are quadratically better than one formalmethods scaling hillelwayne.com
    hwayne avatar authored by hwayne 2 months ago | cached | 6 comments
  16. 21
    Using TLA+ in the Real World to Understand a Glibc Bug formalmethods probablydance.com
    sanxiyn avatar via sanxiyn 2 months ago | cached | no comments
  17. 6
    Crux: a new open-source tool for Rust/C++ software verification c++ formalmethods rust galois.com
    puz avatar via puz 2 months ago | cached | no comments
  18. 4
    Refinement Types: A Tutorial ☶ compilers compsci formalmethods arxiv.org
    craigstuntz avatar via craigstuntz 3 months ago | cached | no comments
  19. 6
    Improving security in s2n formalmethods security veryseriousblog.com
    dfeldman avatar via dfeldman 3 months ago | cached | no comments
  20. 8
    Differential Testing to Find Missed Optimization Opportunities in LLVM's RISC-V Backend compilers formalmethods testing lowrisc.org
    hyperpape avatar via hyperpape 3 months ago | cached | no comments
  21. 21
    A mathematical formulation of the tax code? formalmethods law blog.merigoux.fr
    hwayne avatar via hwayne 3 months ago | cached | 15 comments
  22. 5
    Crux: a tool for improving the assurance of software using symbolic testing c++ formalmethods rust crux.galois.com
    pushcx avatar via pushcx 3 months ago | cached | no comments
  23. 15
    The Assembly Language of Satisfiability formalmethods jix.one
    calvin avatar via calvin 3 months ago | cached | 4 comments
  24. 7
    How hard can you believe in your logic? formalmethods c9x.me
    calvin avatar via calvin 3 months ago | cached | no comments
  25. 20
    Finding Goroutine Bugs with TLA+ formalmethods go hillelwayne.com
    hwayne avatar authored by hwayne 4 months ago | cached | 6 comments
Page 2 >>