Stories tagged as formalmethods – Formal methods
  1. 5
    Towards a Verified, Complex, Protocol Stack in a Production Kernel: Method and Demo (2016) ☶ pdf c formalmethods freebsd hardware haskell cs.dartmouth.edu
    nickpsecurity avatar via nickpsecurity 4 months ago | cached | 1 comment
  2. 6
    Linux kernel memory-model (documentation & tooling) ☶ compsci formalmethods linux git.kernel.org
    1amzave avatar via 1amzave 5 months ago | cached | 1 comment
  3. 2
    Certification of an Instruction Set Simulator [for ARM] (2017) ☶ assembly c++ formalmethods hardware tel.archives-ouvertes.fr
    nickpsecurity avatar via nickpsecurity 5 months ago | cached | no comments
  4. 1
    Teaching Formal Methods via Automatic Checking of Finite Models (2017) ☶ pdf education formalmethods risc.jku.at
    nickpsecurity avatar via nickpsecurity 5 months ago | cached | no comments
  5. 2
    Using Models at Runtime to Address Assurance for Self-Adaptive Systems (2014) ☶ pdf ai compsci formalmethods arxiv.org
    nickpsecurity avatar via nickpsecurity 5 months ago | cached | no comments
  6. 3
    STOKE: A stochastic superoptimizer and program synthesizer (2013-2017) ☶ assembly formalmethods programming stoke.stanford.edu
    nickpsecurity avatar via nickpsecurity 5 months ago | cached | no comments
  7. 2
    plspec – A Specification Language for Prolog Data (2017) ☶ pdf formalmethods programming krin.gs
    nickpsecurity avatar via nickpsecurity 5 months ago | cached | 2 comments
  8. 2
    Specification, Verification, and Synthesis Using Extended State Machines with Callbacks (2016) ☶ pdf slides c formalmethods hardware linux tuba.ece.ufl.edu
    nickpsecurity avatar via nickpsecurity 5 months ago | cached | no comments
  9. 12
    Formal Specification, Verification, and Implementation of Fault-Tolerant Systems (2015) ☶ pdf distributed formalmethods ml pdfs.semanticscholar.org
    nickpsecurity avatar via nickpsecurity 5 months ago | cached | no comments
  10. 4
    Linux Device Driver Synthesis and Verification (2015) ☶ pdf formalmethods hardware linux programming etd.library.vanderbilt.edu
    nickpsecurity avatar via nickpsecurity 5 months ago | cached | no comments
  11. 1
    Beginner's Luck: A Language for Property-based Generators (2016) ☶ pdf formalmethods plt testing arxiv.org
    nickpsecurity avatar via nickpsecurity 5 months ago | cached | no comments
  12. 7
    A Verified Messaging System (2017) ☶ pdf c formalmethods security cs.princeton.edu
    nickpsecurity avatar via nickpsecurity 5 months ago | cached | no comments
  13. 1
    A Design and Verification Methodology for Secure Isolated Regions (2016) ☶ pdf formalmethods programming security people.eecs.berkeley.edu
    nickpsecurity avatar via nickpsecurity 5 months ago | cached | no comments
  14. 3
    Physics, Topology, Logic and Computation: A Rosetta Stone (2009) ☶ pdf formalmethods math arxiv.org
    nickpsecurity avatar via nickpsecurity 5 months ago | cached | no comments
  15. 5
    Setuid Demystified (2002) ☶ pdf formalmethods security unix people.eecs.berkeley.edu
    nickpsecurity avatar via nickpsecurity 5 months ago | cached | no comments
  16. 12
    No ad hoc parser in NeoPG c++ crypto formalmethods security neopg.io
    seu avatar via seu 5 months ago | cached | no comments
  17. 1
    Synthesis-Based Loose Programming (2010) ☶ pdf compsci formalmethods programming pdfs.semanticscholar.org
    nickpsecurity avatar via nickpsecurity 5 months ago | cached | no comments
  18. 2
    Raytheon - Proof By Games (2013) ☶ pdf formalmethods games dtic.mil
    kel avatar via kel 5 months ago | cached | 4 comments
  19. 3
    Verifying Safety for Neural Networks ai formalmethods ai2.ethz.ch
    mmirman avatar authored by mmirman 5 months ago | cached | no comments
  20. 5
    Specification and Proof of High-level Functional Properties of Bit-level Programs (2016) ☶ formalmethods programming hal.inria.fr
    nickpsecurity avatar via nickpsecurity 5 months ago | cached | no comments
  21. 1
    Formal verification of an interior point algorithm instanciation ☶ c formalmethods hal.archives-ouvertes.fr
    nickpsecurity avatar via nickpsecurity 5 months ago | cached | 1 comment
  22. 1
    LMS-Verify: Abstraction without Regret for Verified Systems Programming (2017) ☶ pdf c formalmethods plt scala security lampwww.epfl.ch
    nickpsecurity avatar via nickpsecurity 5 months ago | cached | no comments
  23. 14
    Checking Firewall Equivalence with Z3 formalmethods networking medium.com
    calvin avatar via calvin 5 months ago | cached | 1 comment
  24. 1
    Automating the Verification of Floating-Point Programs (2017) ☶ formalmethods programming hal.inria.fr
    nickpsecurity avatar via nickpsecurity 5 months ago | cached | no comments
  25. 32
    Formally Specifying a Package Manager formalmethods hillelwayne.com
    hwayne avatar authored by hwayne 5 months ago | cached | 9 comments
<< Page 5 | Page 7 >>