Stories tagged as formalmethods – Formal methods
  1. 4
    Source Code Verification for Embedded Systems using Prolog (2016) ☶ pdf c++ formalmethods programming montenegros.de
    nickpsecurity avatar via nickpsecurity 4 months ago | cached | no comments
  2. 2
    Aggregating verified modules together formalmethods hardware zipcpu.com
    GeoffWozniak avatar via GeoffWozniak 4 months ago | cached | no comments
  3. 3
    Formal Verification of Obstacle Avoidance and Navigation of Ground Robots (2017) ☶ pdf formalmethods hardware programming symbolaris.com
    nickpsecurity avatar via nickpsecurity 4 months ago | cached | no comments
  4. 4
    Refinement Types for TLA+ (2014) ☶ pdf formalmethods plt citeseerx.ist.psu.edu
    nickpsecurity avatar via nickpsecurity 4 months ago | cached | no comments
  5. 4
    Toward a Framework for Highly Automated Vehicle Safety Validation, Philip Koopman & Michael Wagner pdf formalmethods practices testing users.ece.cmu.edu
    trn avatar via trn 4 months ago | cached | no comments
  6. 53
    The Great Theorem Prover Showdown formalmethods plt hillelwayne.com
    hwayne avatar authored by hwayne 4 months ago | cached | 19 comments
  7. 2
    A Provably Correct Sampler for Probabilistic Programs (2016) ☶ pdf ai formalmethods programming microsoft.com
    nickpsecurity avatar via nickpsecurity 4 months ago | cached | no comments
  8. 12
    How to prove a compiler fully abstract compilers formalmethods plt dbp.io
    dbp avatar authored by dbp 4 months ago | cached | 3 comments
  9. 3
    Learning Assertions to Verify Linked-List Programs (2015) ☶ pdf ai c formalmethods www-users.cs.york.ac.uk
    nickpsecurity avatar via nickpsecurity 4 months ago | cached | no comments
  10. 3
    Trace-based Verification of Imperative Programs with I/O (2010) ☶ pdf formalmethods ml web gmalecha.github.io
    nickpsecurity avatar via nickpsecurity 4 months ago | cached | no comments
  11. 5
    Design-by-Contract for Specification and Conformance Testing of Distributed Software (2014) ☶ pdf distributed formalmethods testing researchgate.net
    nickpsecurity avatar via nickpsecurity 4 months ago | cached | 1 comment
  12. 5
    Œuf: Minimizing the Coq Extraction TCB ☶ pdf compilers formalmethods programming oeuf.uwplse.org
    nickpsecurity avatar via nickpsecurity 4 months ago | cached | no comments
  13. 7
    Automatic Generation of Provably Correct Embedded Systems (2012) ☶ pdf compilers formalmethods programming pat.comp.nus.edu.sg
    nickpsecurity avatar via nickpsecurity 4 months ago | cached | no comments
  14. 3
    Model-Driven Performance Evaluation and Formal Verification for Multi-level Embedded System Design ☶ pdf c formalmethods hardware hal.upmc.fr
    nickpsecurity avatar via nickpsecurity 4 months ago | cached | no comments
  15. 4
    Higher Order Multidimensional Programming ☶ pdf slides formalmethods programming cartesianprogramming.files.wordpress.com
    superpat avatar via superpat 4 months ago | cached | no comments
  16. 2
    Automating Deductive Verification for Weak-Memory Programs ☶ pdf c formalmethods arxiv.org
    nickpsecurity avatar via nickpsecurity 4 months ago | cached | no comments
  17. 2
    Automatic Testing of Symbolic Execution Engines via Program Generation and Testing (2017) ☶ pdf formalmethods testing srg.doc.ic.ac.uk
    nickpsecurity avatar via nickpsecurity 4 months ago | cached | no comments
  18. 6
    Shipping formally verified crypto code crypto formalmethods franziskuskiefer.de
    freddyb avatar via freddyb 4 months ago | cached | no comments
  19. 3
    Mechanized Formal Semantics and Verified Compilation for C++ Objects (2012) ☶ pdf slides c++ formalmethods gallium.inria.fr
    nickpsecurity avatar via nickpsecurity 4 months ago | cached | no comments
  20. 2
    Parallelizing Model Checking Algorithms Using Multi-core and Many-core Architectures ☶ pdf formalmethods performance programming ntu.edu.sg
    nickpsecurity avatar via nickpsecurity 4 months ago | cached | no comments
  21. 4
    Verifying Complex Properties using Symbolic Shape Analysis (2007) ☶ pdf formalmethods programming cs.nyu.edu
    nickpsecurity avatar via nickpsecurity 4 months ago | cached | 1 comment
  22. 10
    (Some of) my problems with correctness research compsci formalmethods practices drmaciver.com
    mfeathers avatar via mfeathers 4 months ago | cached | no comments
  23. 4
    Formal Specification and Verification of Interactive Systems with Plasticity for Nuclear Plants ☶ compsci formalmethods programming tel.archives-ouvertes.fr
    nickpsecurity avatar via nickpsecurity 4 months ago | cached | 3 comments
  24. 5
    Type-and-Example-Directed Program Synthesis (2015) ☶ pdf compsci formalmethods ml cis.upenn.edu
    nickpsecurity avatar via nickpsecurity 4 months ago | cached | 2 comments
  25. 1
    Formal Specification and Verification of Computer Algebra Software (2014) ☶ pdf formalmethods math programming risc.jku.at
    nickpsecurity avatar via nickpsecurity 4 months ago | cached | no comments
<< Page 4 | Page 6 >>