Stories tagged as formalmethods Formal methods

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

  1. 6
    Formally verifying tiny bits of QEMU using Frama-C, Richard W.M. Jones, 2020 video c formalmethods youtube.com
    sergeyb avatar via sergeyb 5 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  2. 42
    Ironclad: Hard real-time capable POSIX-compatible kernel written in SPARK/Ada ☶ formalmethods osdev ironclad.nongnu.org
    pyj avatar via pyj 5 months ago |
    Archive.org Archive.today Ghostarchive
    | 6 comments
  3. 1
    the soundless interstitium formalmethods web taylor.town
    surprisetalk avatar authored by surprisetalk 5 months ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  4. 2
    Linearizability! Refinement! Prophecy distributed formalmethods surfingcomplexity.blog
    hwayne avatar via hwayne 5 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  5. 11
    Conway's law distributed formalmethods math practices ncatlab.org
    Corbin avatar authored by Corbin 5 months ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  6. 23
    TLA⁺ is more than a DSL for breadth-first search formalmethods ahelwer.ca
    ahelwer avatar authored by ahelwer 5 months ago |
    Archive.org Archive.today Ghostarchive
    | 14 comments
  7. 2
    Specification and Model-checking of the ZKsync Governance Protocol cryptography formalmethods security protocols-made-fun.com
    bugarela avatar via bugarela 6 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  8. 5
    Logic and Computation Intertwined formalmethods lisp cs.uwaterloo.ca
    veqq avatar via veqq 6 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  9. 11
    aya-dev: A proof assistant and a dependently-typed language formalmethods plt github.com/aya-prover
    5d22b avatar via 5d22b 6 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  10. 18
    The Future of TLA+ pdf formalmethods lamport.azurewebsites.net
    hwayne avatar via hwayne 6 months ago |
    Archive.org Archive.today Ghostarchive
    | 6 comments
  11. 4
    State and time are the same thing formalmethods plt buttondown.com/hillelwayne
    amw-zero avatar via amw-zero 6 months ago |
    Archive.org Archive.today Ghostarchive
    | 5 comments
  12. 1
    Teaching Concurrency (2009) pdf education formalmethods lamport.azurewebsites.net
    danlamanna avatar via danlamanna 6 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  13. 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 6 months ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  14. 7
    VeriNum: Formally Verified Numerical Methods formalmethods verinum.org
    sanxiyn avatar via sanxiyn 6 months ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  15. 6
    Beal's Conjecture Revisited formalmethods math python norvig.com
    dpk avatar via dpk 7 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  16. 20
    Formal verification makes RSA faster — and faster to deploy cryptography formalmethods performance amazon.science
    calvin avatar via calvin 7 months ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  17. 14
    State of Knuckledragger, a Semi-Automated Python Proof Assistant formalmethods python philipzucker.com
    ocramz avatar via ocramz 7 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  18. 7
    A Knownbits Abstract Domain for the Toy Optimizer, Correctly compilers formalmethods plt pypy.org
    Corbin avatar via Corbin 7 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  19. 5
    Streams, Calculational Proofs and Dafny formalmethods rdivyanshu.github.io
    rdivyanshu avatar authored by rdivyanshu 7 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  20. 20
    Formally verifying security properties of CHERI processors formalmethods hardware security cheriot.org
    david_chisnall avatar via david_chisnall 7 months ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  21. 7
    The Hitchhiker's Guide to Logical Verification pdf formalmethods plt browncs1951x.github.io
    nextos avatar via nextos 7 months ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  22. 37
    Quint formalmethods quint-lang.org
    hwayne avatar via hwayne 7 months ago |
    Archive.org Archive.today Ghostarchive
    | 20 comments
  23. 8
    SciLean: Scientific computing in Lean 4 formalmethods science github.com/lecopivo
    edoput avatar via edoput 7 months ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  24. 1
    tlsd: Generate (message) sequence diagrams from TLA+ state traces formalmethods visualization github.com/eras
    hwayne avatar via hwayne 8 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  25. 9
    Use of Formal Methods by a Silicon Manufacturer (1988) pdf formalmethods hardware people.cs.bris.ac.uk
    calvin avatar via calvin 8 months ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment

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

<< Page 2 | Page 4 >>