Stories tagged as formalmethods – Formal methods

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

  1. 37
    Why Specifications Don't Compose formalmethods math hillelwayne.com
    hwayne avatar authored by hwayne 43 hours ago | cached | 12 comments
  2. 31
    Wuffs the Language formalmethods plt programming security github.com
    bshanks avatar via bshanks 13 days ago | cached | 3 comments
  3. 10
    TLA+ Graph Explorer formalmethods github.com
    hwayne avatar via hwayne 13 days ago | cached | 3 comments
  4. 3
    Retrospective: An Axiomatic Basis for Computer Programming formalmethods dl.acm.org
    kuijsten avatar via kuijsten 22 days ago | cached | no comments
  5. 12
    Formal Methods of Software Design course transcript formalmethods cs.utoronto.ca
    pushcx avatar via pushcx 23 days ago | cached | no comments
  6. 3
    Making Software 'Correct by Construction' video formalmethods practices youtube.com
    adaszko avatar via adaszko 29 days ago | cached | no comments
  7. 5
    Native Type Theory (Part 2) compsci formalmethods math plt golem.ph.utexas.edu
    Corbin avatar via Corbin 1 month ago | cached | no comments
  8. 5
    The Tale of One-way Functions (2003) compsci crypto formalmethods math arxiv.org
    Corbin avatar via Corbin 1 month ago | cached | no comments
  9. 19
    Why Programmers Should(n't) Learn Theory formalmethods plt pathsensitive.com
    jkoppel avatar authored by jkoppel 1 month ago | cached | 4 comments
  10. 12
    TLA+ Action Properties formalmethods hillelwayne.com
    hwayne avatar authored by hwayne 1 month ago | cached | no comments
  11. 3
    Computing with metavalues formalmethods math fredrikj.net
    brendan avatar via brendan 1 month ago | cached | no comments
  12. 9
    TLA+ spec finds bugs in Apache BookKeeper distributed formalmethods github.com
    lemmster avatar via lemmster 1 month ago | cached | 1 comment
  13. 28
    Curry-Howard is a scam formalmethods math rant blag.cedeela.fr
    c-cube avatar authored by c-cube 1 month ago | cached | 31 comments
  14. 14
    Native Type Theory compsci formalmethods math plt golem.ph.utexas.edu
    Corbin avatar via Corbin 2 months ago | cached | 3 comments
  15. 22
    Program = Proof ☶ pdf formalmethods math plt lix.polytechnique.fr
    solomon avatar via solomon 2 months ago | cached | 5 comments
  16. 3
    2020 at OCamlPro compilers formalmethods merkle-trees ml performance rust ocamlpro.com
    ignatius avatar via ignatius 2 months ago | cached | no comments
  17. 3
    A Model for Reasoning About JavaScript Promises (2017) pdf formalmethods javascript franktip.org
    pushcx avatar via pushcx 2 months ago | cached | no comments
  18. 11
    Idiomatic TLA+ formalmethods apalache.informal.systems
    hwayne avatar via hwayne 2 months ago | cached | no comments
  19. 4
    Formal Methods: An Appetizer dotnet formalmethods springer.com
    nextos avatar via nextos 2 months ago | cached | 1 comment
  20. 19
    Diff the behavior of two python functions formalmethods python testing github.com
    pschanely avatar authored by pschanely 3 months ago | cached | 8 comments
  21. 5
    Schemes in Lean formalmethods math arxiv.org
    gthm avatar via gthm 3 months ago | cached | no comments
  22. 2
    HACL*: a formally verified cryptographic library crypto formalmethods hacl-star.github.io
    sanxiyn avatar via sanxiyn 3 months ago | cached | no comments
  23. 17
    Weeks of Debugging Can Save You Hours of TLA+ video debugging formalmethods youtube.com
    lemmster avatar authored by lemmster 3 months ago | cached | 2 comments
  24. 21
    Coding as a tool of thought formalmethods practices surfingcomplexity.blog
    hwayne avatar via hwayne 3 months ago | cached | 9 comments
  25. 5
    The 2020 Expert Survey on Formal Methods pdf formalmethods fmeurope.org
    sergeyb avatar via sergeyb 4 months ago | cached | no comments
Page 2 >>