Stories tagged as formalmethods – Formal methods
  1. 1
    Concurrent Program Verification by Code Transformation: Correctness (2017) ☶ pdf c formalmethods univ-orleans.fr
    nickpsecurity avatar via nickpsecurity 5 hours ago | cached | no comments
  2. 1
    Towards High Assurance HTML5 Applications (2014) ☶ pdf formalmethods web pdfs.semanticscholar.org
    nickpsecurity avatar via nickpsecurity 2 days ago | cached | no comments
  3. 4
    The VeriFast Program Verifier c formalmethods java github.com
    ceh avatar via ceh 4 days ago | cached | 1 comment
  4. 15
    A Formally Verified NAT Stack ☶ pdf formalmethods networking dslab.epfl.ch
    ceh avatar via ceh 4 days ago | cached | 1 comment
  5. 1
    Formal models of core Elasticsearch algorithms formalmethods github.com
    ceh avatar via ceh 4 days ago | cached | no comments
  6. 8
    Typed Clojure in Theory and Practice pdf clojure formalmethods plt ambrosebs.com
    Yogthos avatar via Yogthos 5 days ago | cached | 1 comment
  7. 3
    Verifying the Correctness of a Compiler for an Imperative, Programming Language (2011) ☶ pdf compilers formalmethods dspace.jaist.ac.jp
    nickpsecurity avatar via nickpsecurity 5 days ago | cached | no comments
  8. 4
    The Specification, Verification, and Implementation of Data Structure in ACL2 (2013) ☶ pdf formalmethods lisp programming computer.org
    nickpsecurity avatar via nickpsecurity 6 days ago | cached | no comments
  9. 3
    Proving Flow Security of Sequential Logic via Automatically-Synthesized Relational Invariants ☶ pdf formalmethods hardware security cc.gatech.edu
    nickpsecurity avatar via nickpsecurity 6 days ago | cached | no comments
  10. 11
    Abstracting Abstract Machines (2011) ☶ pdf formalmethods plt ccs.neu.edu
    nickpsecurity avatar via nickpsecurity 7 days ago | cached | 6 comments
  11. 3
    Formal Specification and Verification of a Microkernel (2010) ☶ pdf c formalmethods osdev people.cs.ksu.edu
    nickpsecurity avatar via nickpsecurity 9 days ago | cached | no comments
  12. 4
    Koord: Language and analysis for robust, distributed, cyber-physical systems pdf formalmethods plt programming cyphyhouse.github.io
    ceh avatar via ceh 9 days ago | cached | 3 comments
  13. 4
    On Automatically Proving the Correctness of math.h Implementations ☶ pdf formalmethods math programming theory.stanford.edu
    nickpsecurity avatar via nickpsecurity 11 days ago | cached | no comments
  14. 7
    Lean Forward: Usable Computer-Checked Proofs and Computations for Number Theorists formalmethods math lean-forward.github.io
    pushcx avatar via pushcx 13 days ago | cached | no comments
  15. 4
    VeriPhy: Verified Controller Executables from Verified Cyber-Physical Models ☶ pdf formalmethods programming cs.cmu.edu
    nickpsecurity avatar via nickpsecurity 13 days ago | cached | no comments
  16. 6
    Type Theory and Functional Programming (1999) pdf book formalmethods programming cs.kent.ac.uk
    nickpsecurity avatar via nickpsecurity 14 days ago | cached | 2 comments
  17. 7
    Verifying Optimizations Using SMT Solvers pdf slides compilers formalmethods performance llvm.org
    nickpsecurity avatar via nickpsecurity 15 days ago | cached | 1 comment
  18. 2
    BrainCoqulus: A Formally Verified Optimizing Compiler of Lambda Calculus to Brainfuck ☶ pdf compilers formalmethods read.seas.harvard.edu
    nickpsecurity avatar via nickpsecurity 17 days ago | cached | no comments
  19. 2
    Formal Verification of a Flash Memory Device Driver - An Experience Report (2008) ☶ pdf c formalmethods hardware citeseerx.ist.psu.edu
    nickpsecurity avatar via nickpsecurity 19 days ago | cached | no comments
  20. 8
    Bonsai: Synthesis-based Reasoning for Type Systems (2017) ☶ pdf formalmethods plt programming arxiv.org
    nickpsecurity avatar via nickpsecurity 20 days ago | cached | no comments
  21. 42
    Augmenting Agile with Formal Methods formalmethods practices hillelwayne.com
    hwayne avatar authored by hwayne 21 days ago | cached | 13 comments
  22. 2
    ViennaTalk and Assertch: Building Lightweight Formal Methods Environments on Pharo 4 (2016) ☶ pdf formalmethods programming esug.org
    nickpsecurity avatar via nickpsecurity 21 days ago | cached | no comments
  23. 12
    awesome safety critical formalmethods programming github.com
    rain1 avatar via rain1 22 days ago | cached | no comments
  24. 4
    Declarative GUIs: Simple, Consistent, and Verified pdf formalmethods cs.swan.ac.uk
    afarnham avatar via afarnham 22 days ago | cached | no comments
  25. 3
    Lists of Posts Formally Verifying Various Hardware Blocks ☶ formalmethods hardware zipcpu.com
    nickpsecurity avatar via nickpsecurity 24 days ago | cached | no comments
Page 2 >>