Stories tagged as formalmethods – Formal methods

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

  1. 4
    Getting a program right, in nine episodes formalmethods bertrandmeyer.com
    jmiven avatar via jmiven 31 hours ago | cached | no comments
  2. 8
    The Subtle Power of Booleans formalmethods medium.com
    hwayne avatar via hwayne 32 hours ago | cached | no comments
  3. 4
    A Modular Scheme for Deadlock Prevention in an Object-Oriented Programming Model (2010) ☶ pdf formalmethods programming security se.inf.ethz.ch
    nickpsecurity avatar via nickpsecurity 5 days ago | cached | 1 comment
  4. 6
    A Study of Clight and its Semantics compilers formalmethods soap.coffee
    lthms avatar authored by lthms 9 days ago | cached | no comments
  5. 65
    Let's Prove Leftpad ☶ formalmethods github.com
    hwayne avatar authored by hwayne 10 days ago | cached | 7 comments
  6. 7
    Sterling: a web-based visualizer for Alloy formalmethods release sterling-js.github.io
    hwayne avatar via hwayne 11 days ago | cached | 1 comment
  7. 18
    A walkthrough tutorial of TLA+ and its tools: analyzing a blocking queue formalmethods github.com
    lemmster avatar authored by lemmster 23 days ago | cached | no comments
  8. 5
    Scaling symbolic evaluation for automated verification of systems code with Serval pdf formalmethods unsat.cs.washington.edu
    calvin avatar via calvin 25 days ago | cached | no comments
  9. 5
    The Fumble Programmer (2018) ☶ pdf formalmethods practices proteancode.com
    ToKi avatar via ToKi 27 days ago | cached | no comments
  10. 6
    How to check Monocypher by CompCert c compilers crypto formalmethods security git.envs.net
    tankf33der avatar authored by tankf33der 27 days ago | cached | no comments
  11. 23
    The 25 most recommended programming books of all-time book formalmethods programming daolf.com
    prepend avatar via prepend 1 month ago | cached | 10 comments
  12. 5
    Gagallium : Formal proof and analysis of an incremental cycle detection algorithm compsci formalmethods gallium.inria.fr
    RiderOfGiraffes avatar via RiderOfGiraffes 1 month ago | cached | no comments
  13. 26
    Agda vs. Coq vs. Idris formalmethods plt whatisrt.github.io
    calvin avatar via calvin 1 month ago | cached | 7 comments
  14. 4
    Building Reliable Cloud Services Using P# formalmethods arxiv.org
    ceh avatar via ceh 1 month ago | cached | no comments
  15. 7
    Equality in Mechanized Mathematics formalmethods math artagnon.com
    j605 avatar via j605 1 month ago | cached | 4 comments
  16. 15
    Ironsides - DNS server made with Ada SPARK formalmethods ironsides.martincarlisle.com
    qznc avatar via qznc 1 month ago | cached | no comments
  17. 43
    CrossHair: A static analysis tool for Python ☶ formalmethods python github.com
    hwayne avatar via hwayne 1 month ago | cached | 14 comments
  18. 5
    The natural number game formalmethods wwwf.imperial.ac.uk
    ahelwer avatar via ahelwer 1 month ago | cached | no comments
  19. 1
    Where is the fashionable mathematics? formalmethods math xenaproject.wordpress.com
    c-cube avatar via c-cube 1 month ago | cached | no comments
  20. 1
    Survey of Automated Vulnerability Detection and Exploit Generation Techniques in C.R.S.'s (2018) ☶ pdf ai c c++ formalmethods security testing arxiv.org
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | no comments
  21. 21
    Feature Interaction Bugs formalmethods hillelwayne.com
    hwayne avatar authored by hwayne 1 month ago | cached | 2 comments
  22. 44
    ZZ is a modern formally provable dialect of C c formalmethods plt github.com
    sanxiyn avatar via sanxiyn 1 month ago | cached | 22 comments
  23. 11
    An inquiry into the Foundations of Mathematics formalmethods math philosophy artagnon.com
    artagnon avatar authored by artagnon 1 month ago | cached | 12 comments
  24. 4
    John Harrison: let's make set theory great again! [2018, slides] pdf formalmethods math aitp-conference.org
    c-cube avatar via c-cube 1 month ago | cached | no comments
  25. 7
    A mathematical formulation of the tax code? finance formalmethods blog.merigoux.ovh
    calvin avatar via calvin 1 month ago | cached | 1 comment
Page 2 >>