Stories tagged as formalmethods – Formal methods
  1. 6
    Turing-Completeness Totally Free ☶ pdf formalmethods plt programming personal.cis.strath.ac.uk
    nickpsecurity avatar via nickpsecurity 38 hours ago | cached | no comments
  2. 3
    Runway: a tool for distributed systems design distributed formalmethods visualization runway.systems
    hwayne avatar via hwayne 2 days ago | cached | no comments
  3. 3
    Verifying Concurrent Message-Passing C Programs with Recursive Calls (2006) ☶ pdf c formalmethods windows research.cs.wisc.edu
    nickpsecurity avatar via nickpsecurity 2 days ago | cached | no comments
  4. 2
    An Empirical Evaluation of Automated Theorem Provers in Software Certification (2005) ☶ pdf c formalmethods programming ti.arc.nasa.gov
    nickpsecurity avatar via nickpsecurity 3 days ago | cached | no comments
  5. 8
    Specifying and Verifying Concurrent C Programs with TLA+ ☶ pdf c distributed formalmethods security cedric.cnam.fr
    nickpsecurity avatar via nickpsecurity 4 days ago | cached | no comments
  6. 35
    Rust: beyond the typechecker formalmethods rust blog.merigoux.ovh
    sanxiyn avatar via sanxiyn 4 days ago | cached | 6 comments
  7. 6
    tiny-tlaplus-examples formalmethods github.com
    hwayne avatar via hwayne 5 days ago | cached | no comments
  8. 5
    Explaining formal proofs formalmethods plt boxbase.org
    HenriTuhola avatar authored by HenriTuhola 5 days ago | cached | 10 comments
  9. 10
    Software Verification - An Overview of the State of the Art pdf slides formalmethods sosy-lab.org
    pushcx avatar via pushcx 9 days ago | cached | 2 comments
  10. 6
    Using TLA+ to Model Cascading Failures formalmethods programming virtualization medium.com
    nickpsecurity avatar via nickpsecurity 9 days ago | cached | no comments
  11. 1
    Modeling and simulation of cardiac tissue using hybrid I/O automata (2009) ☶ pdf formalmethods programming science cs.stonybrook.edu
    nickpsecurity avatar via nickpsecurity 9 days ago | cached | no comments
  12. 15
    Selfie's Reflections on Formal Verification for TLS 1.3: Largely Opaque crypto formalmethods nadim.micro.blog
    nadim avatar authored by nadim 9 days ago | cached | 4 comments
  13. 6
    An Efficient SMT Solver for String Constraints (2016) ☶ pdf formalmethods javascript homepage.divms.uiowa.edu
    nickpsecurity avatar via nickpsecurity 11 days ago | cached | 2 comments
  14. 7
    Noise Explorer Now Generates Rust Implementations with Formally Verified Primitives crypto formalmethods rust moderncrypto.org
    nadim avatar via nadim 12 days ago | cached | no comments
  15. 4
    How the EverCrypt Library Creates Hacker-Proof Cryptography formalmethods quantamagazine.org
    iv avatar via iv 18 days ago | cached | no comments
  16. 1
    Static Analysis of Binary Executables Using Structural SVM's (2011) ☶ pdf ai assembly formalmethods reversing papers.nips.cc
    nickpsecurity avatar via nickpsecurity 23 days ago | cached | no comments
  17. 8
    What do Formal Methods actually Guarantee? formalmethods medium.com
    davidk01 avatar via davidk01 27 days ago | cached | 4 comments
  18. 5
    Static Taint-Analysis on Binary Executables (2011) pdf slides assembly c formalmethods security web.cs.iastate.edu
    nickpsecurity avatar via nickpsecurity 29 days ago | cached | no comments
  19. 5
    Static Analysis of Binary Executables ☶ pdf assembly formalmethods reversing stevehanov.ca
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | no comments
  20. 16
    Verilog Beginner's Tutorial formalmethods hardware zipcpu.com
    Forty-Bot avatar via Forty-Bot 1 month ago | cached | 1 comment
  21. 2
    Send Hardest Problems My Way: Probabilistic Path Prioritization for Hybrid Fuzzing ☶ pdf formalmethods security testing cs.ucr.edu
    hyperpape avatar via hyperpape 1 month ago | cached | no comments
  22. 13
    Type Systems as Macros formalmethods lisp ml plt ccs.neu.edu
    molloy avatar via molloy 1 month ago | cached | no comments
  23. 13
    What, Why, and How of Formal Methods formalmethods cloudbootup.com
    davidk01 avatar authored by davidk01 1 month ago | cached | 5 comments
  24. 1
    Resource-safe Systems Programming with Embedded Domain Specific Languages ☶ pdf formalmethods plt programming eb.host.cs.st-andrews.ac.uk
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | no comments
  25. 2
    Souffle: A Datalog Synthesis Tool for Static Analysis c++ formalmethods souffle-lang.github.io
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | 1 comment
Page 2 >>