Nothing Special   »   [go: up one dir, main page]

Stories tagged as formalmethods Formal methods

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

  1. 5
    Verified Programming in Dafny pdf formalmethods plt doc.ic.ac.uk
    nextos avatar via nextos 4 hours ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  2. 7
    The RAISE specification language, method, and tools formalmethods raisetools.github.io
    nextos avatar via nextos 8 hours ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  3. 7
    TLA+ Wiki formalmethods docs.tlapl.us
    FedericoPonzi avatar via FedericoPonzi 2 days ago |
    Archive.org Archive.today Ghostarchive
    | 7 comments
  4. 4
    A liveness example in TLA+ formalmethods surfingcomplexity.blog
    txxnano avatar via txxnano 3 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  5. 23
    Be Suspicious of Success formalmethods practices testing buttondown.com
    JoelMcCracken avatar via JoelMcCracken 4 days ago |
    Archive.org Archive.today Ghostarchive
    | 7 comments
  6. 5
    Why I use TLA+ and not(TLA+) formalmethods protocols-made-fun.com
    hwayne avatar via hwayne 13 days ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  7. 6
    Formally verifying tiny bits of QEMU using Frama-C, Richard W.M. Jones, 2020 video c formalmethods youtube.com
    sergeyb avatar via sergeyb 13 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  8. 42
    Ironclad: Hard real-time capable POSIX-compatible kernel written in SPARK/Ada ☶ formalmethods osdev ironclad.nongnu.org
    pyj avatar via pyj 16 days ago |
    Archive.org Archive.today Ghostarchive
    | 6 comments
  9. 1
    the soundless interstitium formalmethods web taylor.town
    surprisetalk avatar authored by surprisetalk 26 days ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  10. 1
    Linearizability! Refinement! Prophecy distributed formalmethods surfingcomplexity.blog
    hwayne avatar via hwayne 27 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  11. 11
    Conway's law distributed formalmethods math practices ncatlab.org
    Corbin avatar authored by Corbin 1 month ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  12. 22
    TLA⁺ is more than a DSL for breadth-first search formalmethods ahelwer.ca
    ahelwer avatar authored by ahelwer 1 month ago |
    Archive.org Archive.today Ghostarchive
    | 14 comments
  13. 2
    Specification and Model-checking of the ZKsync Governance Protocol cryptography formalmethods security protocols-made-fun.com
    bugarela avatar via bugarela 1 month ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  14. 3
    Logic and Computation Intertwined formalmethods lisp cs.uwaterloo.ca
    veqq avatar via veqq 1 month ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  15. 10
    aya-dev: A proof assistant and a dependently-typed language formalmethods plt github.com/aya-prover
    5d22b avatar via 5d22b 1 month ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  16. 18
    The Future of TLA+ pdf formalmethods lamport.azurewebsites.net
    hwayne avatar via hwayne 1 month ago |
    Archive.org Archive.today Ghostarchive
    | 6 comments
  17. 4
    State and time are the same thing formalmethods plt buttondown.com
    amw-zero avatar via amw-zero 1 month ago |
    Archive.org Archive.today Ghostarchive
    | 5 comments
  18. 1
    Teaching Concurrency (2009) pdf education formalmethods lamport.azurewebsites.net
    danlamanna avatar via danlamanna 1 month ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  19. 8
    Myths and Mythconceptions: What does it mean to be a programming language? (2021, HOPL) formalmethods historical plt programming dl.acm.org
    andyc avatar via andyc 1 month ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  20. 7
    VeriNum: Formally Verified Numerical Methods formalmethods verinum.org
    sanxiyn avatar via sanxiyn 2 months ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  21. 6
    Beal's Conjecture Revisited formalmethods math python norvig.com
    dpk avatar via dpk 2 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  22. 20
    Formal verification makes RSA faster — and faster to deploy cryptography formalmethods performance amazon.science
    calvin avatar via calvin 2 months ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  23. 13
    State of Knuckledragger, a Semi-Automated Python Proof Assistant formalmethods python philipzucker.com
    ocramz avatar via ocramz 2 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  24. 6
    A Knownbits Abstract Domain for the Toy Optimizer, Correctly compilers formalmethods plt pypy.org
    Corbin avatar via Corbin 2 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  25. 4
    Streams, Calculational Proofs and Dafny formalmethods rdivyanshu.github.io
    rdivyanshu avatar authored by rdivyanshu 2 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments

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

Page 2 >>