Stories tagged as formalmethods – Formal methods
  1. 3
    Unbounded Data Model Verification Using SMT Solvers (2012) ☶ pdf formalmethods ruby web cs.ucsb.edu
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | no comments
  2. 2
    High-Coverage Hint Generation for Massive Courses ☶ pdf video compsci formalmethods lisp programming people.eecs.berkeley.edu
    aminb avatar via aminb 1 month ago | cached | 1 comment
  3. 28
    Let's Prove Leftpad ☶ show formalmethods github.com
    hwayne avatar authored by hwayne 2 months ago | cached | 8 comments
  4. 5
    The Past, Present, and Future(s): Verifying Temporal Software Properties ☶ pdf formalmethods heidyk.com
    nickpsecurity avatar via nickpsecurity 2 months ago | cached | 1 comment
  5. 13
    SAT/SMT by Example pdf book formalmethods yurichev.com
    nickpsecurity avatar via nickpsecurity 2 months ago | cached | 1 comment
  6. 3
    Translating Clojure to ACL2 Code for Verification (2016) ☶ pdf clojure formalmethods ou.edu
    nickpsecurity avatar via nickpsecurity 2 months ago | cached | no comments
  7. 5
    List of Applications of Set Theory in Computer Science compsci formalmethods math quora.com
    nickpsecurity avatar via nickpsecurity 2 months ago | cached | no comments
  8. 1
    Performance Modelling and Verification of Cloud-based Auto-Scaling Policies (2017) ☶ pdf formalmethods networking performance prismmodelchecker.org
    nickpsecurity avatar via nickpsecurity 2 months ago | cached | no comments
  9. 6
    The Surprising Security Benefits of End-to-End Formal Proofs formalmethods security cccblog.org
    GeoffWozniak avatar via GeoffWozniak 2 months ago | cached | no comments
  10. 6
    Catalog of Bad Smells in Design-by-Contract Methodologies with Java Modeling Language (2013) ☶ pdf formalmethods java practices oro.open.ac.uk
    nickpsecurity avatar via nickpsecurity 2 months ago | cached | no comments
  11. 1
    A Framework for the Verification of Certifying Computations (2013) ☶ pdf c formalmethods ia800406.us.archive.org
    nickpsecurity avatar via nickpsecurity 2 months ago | cached | no comments
  12. 5
    Model-Checking of Statechart Models: Survey and Research Directions (2004) pdf formalmethods programming arxiv.org
    nickpsecurity avatar via nickpsecurity 2 months ago | cached | 1 comment
  13. 40
    Formally Specifying UIs design formalmethods hillelwayne.com
    hwayne avatar authored by hwayne 2 months ago | cached | 13 comments
  14. 10
    Rust Distilled: An Expressive Tower of Languages formalmethods rust arxiv.org
    sanxiyn avatar via sanxiyn 2 months ago | cached | 3 comments
  15. 6
    Semi-Formal Development: The Cardano Wallet cryptocurrencies formalmethods haskell well-typed.com
    sanxiyn avatar via sanxiyn 2 months ago | cached | no comments
  16. 2
    SpaceSearch: A Library for Building and Verifying Solver-Aided Tools (2017) ☶ pdf compsci formalmethods programming stefanheule.com
    nickpsecurity avatar via nickpsecurity 2 months ago | cached | no comments
  17. 3
    The Abstract State Machines Method for Modular Design and Analysis of Programming Languages (2013) ☶ pdf formalmethods java plt programming pages.di.unipi.it
    nickpsecurity avatar via nickpsecurity 2 months ago | cached | no comments
  18. 8
    Ledger Language Design: Designing and Deploying Formally Verified Public Ledgers pdf cryptocurrencies formalmethods plt eprint.iacr.org
    nickpsecurity avatar via nickpsecurity 2 months ago | cached | 2 comments
  19. 21
    Sketch.systems design formalmethods testing sketch.systems
    brendan avatar via brendan 2 months ago | cached | 8 comments
  20. 38
    Building Reliable Infrastructure in Rust ☶ video formalmethods rust testing youtube.com
    icefall avatar authored by icefall 2 months ago | cached | 9 comments
  21. 4
    TS*: Gradual Typing Embedded Securely in JavaScript [2014] ☶ pdf formalmethods javascript prosecco.gforge.inria.fr
    indolering avatar via indolering 3 months ago | cached | 1 comment
  22. 14
    Theorem Proving in Lean ☶ formalmethods math leanprover.github.io
    bwr avatar via bwr 3 months ago | cached | 1 comment
  23. 4
    Survey Paper: Formal Methods for Web Security (2016) ☶ pdf formalmethods web dais.unive.it
    indolering avatar via indolering 3 months ago | cached | no comments
  24. 6
    State Machines and Alloy formalmethods aQute.biz
    hwayne avatar via hwayne 3 months ago | cached | no comments
  25. 6
    Noise Explorer: Design and Explore Noise Security Protocol Handshake Patterns crypto formalmethods security noiseexplorer.com
    mpdehnel avatar via mpdehnel 3 months ago | cached | no comments
<< Page 2 | Page 4 >>