Stories tagged as formalmethods – Formal methods

Tip: read stories across multiple tags with /t/tag1,tag2

  1. 2
    Formal Verification of a Vehicle-to-Vehicle (V2V) Messaging System ☶ pdf c formalmethods networking leepike.github.io
    nickpsecurity avatar via nickpsecurity 6 hours ago | cached | no comments
  2. 7
    Alloy for TLA+ Users video formalmethods youtu.be
    lemmster avatar via lemmster 46 hours ago | cached | 2 comments
  3. 4
    EverParse: Verified Secure Zero-Copy Parsers for Authenticated Message Formats ☶ formalmethods security usenix.org
    flux avatar via flux 3 days ago | cached | no comments
  4. 43
    Did a small TLA+ exercise. Easier than I thought formalmethods beza1e1.tuxen.de
    qznc avatar authored by qznc 6 days ago | cached | 8 comments
  5. 2
    Learning How to Prove: From the Coq Proof Assistant to Textbook Style ☶ pdf education formalmethods arxiv.org
    nickpsecurity avatar via nickpsecurity 6 days ago | cached | no comments
  6. 3
    Liquidate Your Assets: Reasoning About Resource Usage in Liquid Haskell ☶ pdf formalmethods haskell plt cs.nott.ac.uk
    nickpsecurity avatar via nickpsecurity 7 days ago | cached | no comments
  7. 33
    Formally Modeling Database Migrations databases formalmethods hillelwayne.com
    hwayne avatar authored by hwayne 14 days ago | cached | 4 comments
  8. 5
    Fuzzing for SMT Solvers pdf slides formalmethods programming testing kyledewey.github.io
    nickpsecurity avatar via nickpsecurity 14 days ago | cached | no comments
  9. 6
    The Future of Mathematics? ☶ video formalmethods math youtube.com
    raph avatar via raph 14 days ago | cached | 10 comments
  10. 5
    Visualizing Abstract Abstract Machines ☶ pdf formalmethods lisp plt kyleheadley.github.io
    lojikil avatar via lojikil 16 days ago | cached | 2 comments
  11. 6
    Automatic Verification of C and Java Programs: SV-COMP 2019 ☶ pdf c formalmethods java security sosy-lab.org
    nickpsecurity avatar via nickpsecurity 19 days ago | cached | no comments
  12. 3
    XASM - Extensible Component-Based Abstract State Machines Language (2000) ☶ pdf c formalmethods plt xasm.sourceforge.net
    nickpsecurity avatar via nickpsecurity 22 days ago | cached | no comments
  13. 3
    Categorical Query Language databases formalmethods categoricaldata.net
    hwayne avatar via hwayne 23 days ago | cached | no comments
  14. 3
    Surprising Theorems (2015) formalmethods math gilith.wordpress.com
    praalhans avatar via praalhans 24 days ago | cached | no comments
  15. 11
    Event Modeling: What is it? formalmethods practices eventmodeling.org
    eterps avatar via eterps 24 days ago | cached | 2 comments
  16. 2
    Mechanized Relational Verification of Concurrent Programs with Continuations ☶ pdf formalmethods plt security iris-project.org
    nickpsecurity avatar via nickpsecurity 29 days ago | cached | no comments
  17. 5
    CATG: Concolic Test Generation Tool for Java formalmethods java testing github.com
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | no comments
  18. 6
    Fixing a MongoDB Replication Protocol Bug with TLA+ - William Schultz video distributed formalmethods youtube.com
    lemmster avatar via lemmster 1 month ago | cached | no comments
  19. 8
    Modeling a read-write version of Texel: an asynchronous consensus algorithm without rounds distributed formalmethods muratbuffalo.blogspot.com
    vladislavp avatar via vladislavp 1 month ago | cached | no comments
  20. 12
    Using TLA+ in the Development of ElasticSearch video distributed formalmethods java youtube.com
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | no comments
  21. 3
    Approximate Normalization for Gradual Dependent Types pdf formalmethods plt arxiv.org
    indolering avatar via indolering 1 month ago | cached | no comments
  22. 4
    SMT for state-based formal methods: the ASM case study (2017) ☶ pdf formalmethods programming security fm.csl.sri.com
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | no comments
  23. 4
    Formal Specification and Taming Other People's Tech video formalmethods youtube.com
    hwayne avatar via hwayne 1 month ago | cached | no comments
  24. 9
    Finding bugs without running or even looking at code video formalmethods youtube.com
    calvin avatar via calvin 1 month ago | cached | 3 comments
  25. 0
    Certifying algorithm compsci formalmethods en.wikipedia.org
    animatronic avatar via animatronic 1 month ago | cached | 5 comments
Page 2 >>