Stories tagged as formalmethods – Formal methods
  1. 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
  2. 3
    Survey of Existing Tools for Formal Verification (2014) pdf formalmethods prod.sandia.gov
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | no comments
  3. 1
    Automated Verification of Functional Correctness of Race-Free GPU Programs (2017) ☶ pdf c formalmethods graphics fos.kuis.kyoto-u.ac.jp
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | no comments
  4. 2
    Testing First-Order Logic Axioms in Program Verification (2011) ☶ pdf c formalmethods testing ti.arc.nasa.gov
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | no comments
  5. 1
    Modular Semi-automatic Formal Verification of Critical Systems Software (2017) ☶ pdf c formalmethods linux lirias.kuleuven.be
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | 1 comment
  6. 9
    Liquid Haskell Tutorial formalmethods haskell liquid.kosmikus.org
    pushcx avatar via pushcx 6 months ago | cached | no comments
  7. 9
    How to Write a Proof (1993) Lamport pdf formalmethods math practices lamport.azurewebsites.net
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | 4 comments
  8. 3
    Vulcan: A Javascript Automated Proof System ☶ formalmethods javascript rmarcus.info
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | no comments
  9. 1
    Loop invariant inference from postconditions in EVE (2013) ☶ pdf formalmethods programming se.inf.ethz.ch
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | no comments
  10. 5
    Combining Symbolic Execution and Model Checking for Data Flow Testing (2015) ☶ pdf c formalmethods testing web.cs.ucdavis.edu
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | no comments
  11. 2
    Seams: Provably-Safe, Local Edits on Graphs (2017) ☶ pdf formalmethods plt programming theory.stanford.edu
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | no comments
  12. 7
    Social Processes and Proofs of Theorems and Programs (1979) ☶ pdf formalmethods practices cs.cmu.edu
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | 5 comments
  13. 8
    Invariant-Based Programming (2006) ☶ pdf slides education formalmethods users.abo.fi
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | no comments
  14. 4
    A Gentle Introduction to Formal Verification by Abstract Interpretation (2009) ☶ pdf formalmethods di.ens.fr
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | no comments
  15. 1
    Practical Applications of Model-Checking in the Finnish Nuclear Industry (2017) ☶ pdf formalmethods practices vtt.fi
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | no comments
  16. 2
    Komodo: Using Verification to Disentangle Secure-Enclave Hardware from Software (2017) pdf formalmethods hardware programming security microsoft.com
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | no comments
  17. 9
    Writing Practical, Memory Management Code with a Strictly-Typed, Assembly Language (2006) ☶ pdf assembly formalmethods security web.yl.is.s.u-tokyo.ac.jp
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | 2 comments
  18. 10
    Proofs (and Refutations) using Z3 formalmethods blog.janestreet.com
    pushcx avatar via pushcx 6 months ago | cached | no comments
  19. 3
    Identifying Security Critical Properties for the Dynamic Verification of a Processor (2017) pdf formalmethods hardware security testing cs.unc.edu
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | no comments
  20. 3
    Safe, Low-Level, Code Generation in Coq Using Monomorphization and Monadification ☶ pdf slides c formalmethods staff.aist.go.jp
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | no comments
  21. 6
    Java Generics are Turing Complete ☶ pdf compilers formalmethods java arxiv.org
    praalhans avatar via praalhans 6 months ago | cached | no comments
  22. 12
    Formal Verification, Casually Explained ☶ formalmethods medium.com
    hwayne avatar via hwayne 6 months ago | cached | 1 comment
  23. 3
    Software Verification: Testing vs Model-Checking - Comparative Evaluation of State of the Art (2017) pdf c formalmethods testing sosy-lab.org
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | 5 comments
  24. 21
    Modeling Redux with TLA+ formalmethods javascript hillelwayne.com
    hwayne avatar authored by hwayne 6 months ago | cached | no comments
  25. 23
    Authentication vulnerability in most recent 5G drafts, found by formal methods crypto formalmethods mobile security cs.ox.ac.uk
    mpdehnel avatar authored by mpdehnel 6 months ago | cached | no comments
<< Page 7 | Page 9 >>