Stories tagged as formalmethods – Formal methods

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

  1. 24
    Write Fuzzable Code formalmethods blog.regehr.org
    GeoffWozniak avatar via GeoffWozniak 3 days ago | cached | 13 comments
  2. 3
    The sharpSAT #SAT Solver ☶ formalmethods sites.google.com
    nickpsecurity avatar via nickpsecurity 6 days ago | cached | no comments
  3. 1
    HOList: An Environment for Machine Learning of Higher-Order Theorem Proving ☶ pdf ai formalmethods arxiv.org
    nickpsecurity avatar via nickpsecurity 7 days ago | cached | 2 comments
  4. 18
    An experimental tool to convert a subset of Clojure into TLA+ clojure formalmethods github.com
    Yogthos avatar via Yogthos 8 days ago | cached | no comments
  5. 5
    Are Lock-Free Concurrent Algorithms Practically Wait-Free? (2014) ☶ pdf formalmethods programming security microsoft.com
    nickpsecurity avatar via nickpsecurity 15 days ago | cached | 2 comments
  6. 7
    Generating Correctness Proofs with Neural Networks ai formalmethods arxiv.org
    ceh avatar via ceh 20 days ago | cached | 4 comments
  7. 2
    The Quest for Formally Secure Compartmentalizing Compilation pdf slides assembly c compilers formalmethods security prosecco.gforge.inria.fr
    nickpsecurity avatar via nickpsecurity 20 days ago | cached | no comments
  8. 4
    Coq Coq Correct: Verification of Type Checking and Erasure forCoq, in Coq pdf formalmethods irif.fr
    lthms avatar via lthms 24 days ago | cached | no comments
  9. 4
    Verifying Constant-Time Implementations (2016) ☶ pdf c formalmethods security michael-emmi.github.io
    nickpsecurity avatar via nickpsecurity 28 days ago | cached | no comments
  10. 7
    Scaling Static Analyses at Facebook formalmethods cacm.acm.org
    calvin avatar via calvin 28 days ago | cached | 3 comments
  11. 6
    Weekend Replication of the STOKE Superoptimizer assembly compilers formalmethods haskell performance github.com
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | no comments
  12. 5
    Who Builds a House Without Drawing Blueprints? (2015) formalmethods practices cacm.acm.org
    Eraad avatar via Eraad 1 month ago | cached | 12 comments
  13. 9
    Mathematical Proof of Algorithm Correctness and Efficiency formalmethods stackabuse.com
    calvin avatar via calvin 1 month ago | cached | no comments
  14. 2
    Using Pairwise Testing to Verify Automatically-Generated Formal Specifications (2015) ☶ pdf formalmethods programming testing cs.utep.edu
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | 1 comment
  15. 5
    Practical Symbolic Execution and SATisfiability Module Theories (SMT) 101 ☶ formalmethods security deniable.org
    lojikil avatar via lojikil 1 month ago | cached | 4 comments
  16. 19
    Modeling Missing Requirements formalmethods practices hillelwayne.com
    hwayne avatar authored by hwayne 1 month ago | cached | no comments
  17. 19
    How Do You Explain the Unreasonable Effectiveness of Cloud Security? formalmethods practices security highscalability.com
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | 18 comments
  18. 24
    Executable formal semantics for the POSIX shell formalmethods testing unix arxiv.org
    derek-jones avatar via derek-jones 1 month ago | cached | 6 comments
  19. 20
    TLA+ 1.6.0 formalmethods release github.com
    strmpnk avatar via strmpnk 1 month ago | cached | 3 comments
  20. 5
    Model Checking a C++ Software Framework: A Case Study ☶ pdf c++ formalmethods arxiv.org
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | no comments
  21. 1
    Pruning the Search Space in Path-based Test Generation (2009) ☶ pdf c formalmethods performance testing sebastien.bardin.free.fr
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | 1 comment
  22. 1
    Using Abstract Interpretation to Correct Synchronization Faults (2017) ☶ pdf distributed formalmethods java cs.yale.edu
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | no comments
  23. 15
    It Ain't Necessarily So: Exploring Type Systems for Verifying Musical Correctness art formalmethods infoq.com
    ehamberg avatar via ehamberg 1 month ago | cached | 1 comment
  24. 6
    The Next 700 Compiler Correctness Theorems (Functional Pearl) compilers formalmethods dbp.io
    calvin avatar via calvin 1 month ago | cached | 1 comment
  25. 2
    A Modular Way to Reason About Iteration (2016) ☶ pdf formalmethods programming hal.inria.fr
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | no comments
Page 2 >>