Stories tagged as formalmethods – Formal methods
  1. 42
    Augmenting Agile with Formal Methods formalmethods practices hillelwayne.com
    hwayne avatar authored by hwayne 27 days ago | cached | 13 comments
  2. 2
    ViennaTalk and Assertch: Building Lightweight Formal Methods Environments on Pharo 4 (2016) ☶ pdf formalmethods programming esug.org
    nickpsecurity avatar via nickpsecurity 27 days ago | cached | no comments
  3. 12
    awesome safety critical formalmethods programming github.com
    rain1 avatar via rain1 28 days ago | cached | no comments
  4. 4
    Declarative GUIs: Simple, Consistent, and Verified pdf formalmethods cs.swan.ac.uk
    afarnham avatar via afarnham 28 days ago | cached | no comments
  5. 3
    Lists of Posts Formally Verifying Various Hardware Blocks ☶ formalmethods hardware zipcpu.com
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | no comments
  6. 4
    Formal Semantics and Automated Verification for the Border Gateway Protocol (2016) ☶ pdf formalmethods networking conferences.sigcomm.org
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | no comments
  7. 10
    TLA+ Community Meeting videos ☶ slides video formalmethods youtube.com
    msingle avatar via msingle 1 month ago | cached | no comments
  8. 11
    Forvis: A Formal RISC-V ISA Specification formalmethods hardware haskell github.com
    minimax avatar via minimax 1 month ago | cached | 1 comment
  9. 1
    Algebraic Principles for Program Correctness Tools in Isabelle HOL (2016) ☶ pdf formalmethods programming cl.cam.ac.uk
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | 1 comment
  10. 1
    Rely-Guarantee Termination and Cost Analyses of Loops with Concurrent Interleavings (2017) ☶ pdf formalmethods programming costa.fdi.ucm.es
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | no comments
  11. 10
    Modular Verification of Programs with Effects and Effect Handlers in Coq ☶ pdf formalmethods hardware security hal.inria.fr
    lthms avatar authored by lthms 1 month ago | cached | no comments
  12. 6
    Storm: A Modern, Probabilistic, Model Checker formalmethods programming stormchecker.org
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | no comments
  13. 1
    Mike Nahas's Coq Tutorial formalmethods coq.inria.fr
    avita1 avatar via avita1 1 month ago | cached | 1 comment
  14. 6
    TLA+ in Isabelle/HOL formalmethods davecturner.github.io
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | no comments
  15. 5
    How Verified (or Tested) is My Code? Falsification-Driven Verification and Testing pdf formalmethods testing agroce.github.io
    pushcx avatar via pushcx 1 month ago | cached | no comments
  16. 3
    Formal Verification of Firmware-Based System-on-Chip Modules (2016) ☶ pdf formalmethods hardware programming odbms.org
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | no comments
  17. 18
    Ask: Do you use generative testing? How would you improve your use of it? ☶ ask formalmethods testing
    rs86 avatar authored by rs86 1 month ago | 20 comments
  18. 8
    Nagini: A Static Verifier for Python ☶ pdf formalmethods python pm.inf.ethz.ch
    ceh avatar via ceh 1 month ago | cached | 2 comments
  19. 6
    Formal reasoning about the security of AWS pdf formalmethods cs.ucl.ac.uk
    ceh avatar via ceh 1 month ago | cached | no comments
  20. 1
    Principled and Practical Web Application Security (2015) ☶ pdf formalmethods javascript security web cseweb.ucsd.edu
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | no comments
  21. 4
    Formal Verification of Coalescing Graph-Coloring Register Allocation (2010) ☶ pdf compilers formalmethods cs.princeton.edu
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | no comments
  22. 2
    K Semantics for Assembly Languages: A Case Study (2014) ☶ assembly formalmethods researchgate.net
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | no comments
  23. 28
    If You’re Not Writing a Program, Don't Use a Programming Language compsci distributed formalmethods lisp math programming muratbuffalo.blogspot.com
    metadata avatar authored by metadata 1 month ago | cached | 63 comments
  24. 1
    Embedding ACL2 Models in End-User Applications (2013) ☶ pdf formalmethods hardware ruby cs.utexas.edu
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | no comments
  25. 3
    Unbounded Data Model Verification Using SMT Solvers (2012) ☶ pdf formalmethods ruby web cs.ucsb.edu
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | no comments
<< Page 1 | Page 3 >>