Stories tagged as formalmethods – Formal methods

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

  1. 13
    You Already Know Formal Methods formalmethods galois.com
    brendan avatar via brendan 10 days ago | cached | 2 comments
  2. 12
    TLA+ Conf 2021 video formalmethods youtube.com
    lemmster avatar via lemmster 13 days ago | cached | 1 comment
  3. 15
    Current and Future Tools for Interactive TLA+ formalmethods emptysqua.re
    hwayne avatar via hwayne 18 days ago | cached | no comments
  4. 48
    Is the formal methods winter about to end? ☶ ask formalmethods
    nextos avatar authored by nextos 1 month ago | 39 comments
  5. 3
    When the RISC-V ISA is the Weakest Link formalmethods security blog.adacore.com
    adaszko avatar via adaszko 1 month ago | cached | 1 comment
  6. 18
    SAT/SMT by Example pdf formalmethods sat-smt.codes
    adaszko avatar via adaszko 2 months ago | cached | 2 comments
  7. 21
    Rudra: a static analyzer to detect common undefined behaviors in Rust programs formalmethods rust github.com
    sanxiyn avatar via sanxiyn 2 months ago | cached | 1 comment
  8. 6
    TLA+: Viewed from 40,000 Feet and Ground Level video compsci distributed formalmethods youtube.com
    lemmster avatar via lemmster 2 months ago | cached | no comments
  9. 5
    Knuth-Morris-Pratt string-searching algorithm (part I) + my homebrew algorithms formally verified using CBMC c formalmethods yurichev.com
    calvin avatar via calvin 2 months ago | cached | no comments
  10. 10
    Spectacle-A language for Writing & Checking Formal Specifications in Haskell formalmethods haskell awakesecurity.com
    hwayne avatar via hwayne 2 months ago | cached | no comments
  11. 31
    Kind: A modern proof language formalmethods plt github.com
    rjdellecese avatar via rjdellecese 2 months ago | cached | 5 comments
  12. 4
    Simple and Precise Static Analysis of Untrusted Linux Kernel Extensions (2019) ☶ pdf assembly c formalmethods security seahorn.github.io
    nickpsecurity avatar via nickpsecurity 2 months ago | cached | no comments
  13. 10
    Elements of Differential Geometry in Lean: A Report for Mathematicians formalmethods math arxiv.org
    mseri avatar via mseri 2 months ago | cached | 4 comments
  14. 7
    The Dogged Pursuit of Bug-Free C Programs: The Frama-C Software Analysis Platform formalmethods testing cacm.acm.org
    kiniry avatar via kiniry 2 months ago | cached | no comments
  15. 2
    Extending Event-B with Discrete, Timing Properties (2012) ☶ pdf formalmethods programming deploy-eprints.ecs.soton.ac.uk
    nickpsecurity avatar via nickpsecurity 3 months ago | cached | no comments
  16. 4
    A Tutorial on Verifying LinkedList Using KeY ☶ pdf formalmethods java ir.cwi.nl
    praalhans avatar authored by praalhans 3 months ago | cached | no comments
  17. 17
    Specification Refinement formalmethods hillelwayne.com
    hwayne avatar authored by hwayne 3 months ago | cached | no comments
  18. 26
    Goodbye C developers: The future of programming with certified program synthesis formalmethods programming gopiandcode.uk
    sergeyb avatar via sergeyb 3 months ago | cached | 32 comments
  19. 14
    Where are we going from here? Software engineering needs formal methods formalmethods practices ntietz.com
    ntietz avatar authored by ntietz 3 months ago | cached | 14 comments
  20. 32
    A sudoku game where you have to prove that your deductions are valid formalmethods games github.com
    NieDzejkob avatar via NieDzejkob 3 months ago | cached | 2 comments
  21. 10
    Program Verification: Vision and Reality formalmethods cacm.acm.org
    GeoffWozniak avatar via GeoffWozniak 3 months ago | cached | 1 comment
  22. 5
    The Logical Basis of Evaluation Order and Pattern-Matching (2009) pdf compsci formalmethods noamz.org
    calvin avatar via calvin 3 months ago | cached | no comments
  23. 7
    A Flying Demo of ACL2 (2000) formalmethods cs.utexas.edu
    NieDzejkob avatar via NieDzejkob 4 months ago | cached | no comments
  24. 18
    Stateright: A model checker for implementing distributed systems formalmethods rust github.com
    hwayne avatar via hwayne 4 months ago | cached | 3 comments
  25. 4
    The Dafny Power User formalmethods leino.science
    hwayne avatar via hwayne 4 months ago | cached | no comments
Page 2 >>