Stories tagged as formalmethods – Formal methods
  1. 2
    ACSL by Example: Towards a Verified C Standard Library (2016) ☶ pdf c formalmethods cs.umd.edu
    nickpsecurity avatar via nickpsecurity 5 months ago | cached | no comments
  2. 3
    A Toolchain for Verified, Ocaml Programs ☶ pdf formalmethods ml cs.ru.nl
    nickpsecurity avatar via nickpsecurity 5 months ago | cached | no comments
  3. 4
    Automatic Synthesis of Distributed Protocols (2017) pdf compsci distributed formalmethods cis.upenn.edu
    nickpsecurity avatar via nickpsecurity 5 months ago | cached | no comments
  4. 3
    Model-based Testing of Operating System-Level Security Mechanisms (2016) ☶ c formalmethods security testing tel.archives-ouvertes.fr
    nickpsecurity avatar via nickpsecurity 5 months ago | cached | no comments
  5. 4
    Type-Targeted Testing (2015) ☶ formalmethods haskell testing arxiv.org
    nickpsecurity avatar via nickpsecurity 5 months ago | cached | no comments
  6. 1
    Trustworthy Refactoring via Decomposition and Schemes: A Complex Case Study (2017) ☶ pdf erlang formalmethods arxiv.org
    nickpsecurity avatar via nickpsecurity 5 months ago | cached | no comments
  7. 3
    A Formally Verified NAT (2017) ☶ pdf c formalmethods networking vignat.github.io
    nickpsecurity avatar via nickpsecurity 5 months ago | cached | 5 comments
  8. 12
    Gödel's First Incompleteness Theorem for Programmers formalmethods programming dvt.name
    Yogthos avatar via Yogthos 5 months ago | cached | 4 comments
  9. 0
    Loopy: Programmable and Formally Verified Loop Transformations (2016) ☶ c compilers formalmethods repository.upenn.edu
    nickpsecurity avatar via nickpsecurity 5 months ago | cached | no comments
  10. 5
    Social processes, program verification and all that (2009) ☶ pdf formalmethods philosophy researchgate.net
    nickpsecurity avatar via nickpsecurity 5 months ago | cached | 4 comments
  11. 2
    Formal Verification of a C0 Library for Strings (2006) ☶ pdf c formalmethods www-wjp.cs.uni-saarland.de
    nickpsecurity avatar via nickpsecurity 5 months ago | cached | no comments
  12. 1
    Heap Bounded Assembly Language (2002) ☶ pdf assembly formalmethods plt homepages.inf.ed.ac.uk
    nickpsecurity avatar via nickpsecurity 5 months ago | cached | no comments
  13. 6
    Automatically Proving Mathematical Theorems with Evolutionary Algorithms and Proof Assistants (2016) ☶ pdf ai formalmethods arxiv.org
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | 4 comments
  14. 3
    Executable Formal Specifications with Clojure (2015) ☶ clojure formalmethods tampub.uta.fi
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | no comments
  15. 8
    Finding bugs in systems through formalization distributed formalmethods andy.hammerhartes.de
    hwayne avatar via hwayne 6 months ago | cached | no comments
  16. 2
    What You Always Wanted to Know about Model Checking of Fault-Tolerant Distributed Algorithms ☶ pdf distributed formalmethods core.ac.uk
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | no comments
  17. 1
    A Framework for Extending microKanren with Constraints (2016) ☶ pdf compsci formalmethods lisp programming arxiv.org
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | no comments
  18. 1
    Modelgen: Mining Explicit Information Flow Specifications from Concrete Executions (2015) ☶ pdf android formalmethods java theory.stanford.edu
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | no comments
  19. 1
    Formal Verification of Medical Device User Interfaces Using PVS (2017) ☶ pdf c++ formalmethods harold.thimbleby.net
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | no comments
  20. 6
    LTEInspector: A Systematic Approach for Adversarial Testing of 4G LTE pdf formalmethods networking security wp.internetsociety.org
    stsp avatar via stsp 6 months ago | cached | 5 comments
  21. 11
    A Fully Automatic Theorem Prover with Human-Style Output (2017) pdf formalmethods math link.springer.com
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | 5 comments
  22. 1
    An Invitation to the SETL Language (2004) ☶ formalmethods math programming linuxjournal.com
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | 1 comment
  23. 2
    Formal Verification of C Programs with Floating-Point Computations (2016) pdf slides c formalmethods cps-vo.org
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | no comments
  24. 4
    How to Get an Efficient yet Verified Arbitrary-Precision Integer Library (2017) ☶ pdf c formalmethods hal.inria.fr
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | 24 comments
  25. 2
    From Verification to Implementation: A Model Translation Tool and Pacemaker Case Study (2012) formalmethods programming repository.upenn.edu
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | no comments
<< Page 6 | Page 8 >>