Stories tagged as formalmethods – Formal methods
  1. 3
    Validating a Coordination Protocol with Alloy formalmethods programming cloudbootup.com
    davidk01 avatar authored by davidk01 2 days ago | cached | no comments
  2. 5
    SPARTA: Library with Building Blocks for Abstract Interpretation Tools formalmethods programming github.com
    nickpsecurity avatar via nickpsecurity 2 days ago | cached | 4 comments
  3. 13
    Stacked Borrows Implemented formalmethods rust ralfj.de
    skade avatar via skade 3 days ago | cached | 7 comments
  4. 9
    Reproducing a Memory-Tracking Bug with TLA+ formalmethods medium.com
    hwayne avatar via hwayne 4 days ago | cached | 4 comments
  5. 1
    Closing the Gap Between Specification and Programming: VDM++ and Scala ☶ pdf formalmethods scala citeseerx.ist.psu.edu
    nickpsecurity avatar via nickpsecurity 4 days ago | cached | no comments
  6. 11
    Formal Methods Meetup (SF / Bay Area) ☶ ask event formalmethods meetu.ps
    davidk01 avatar authored by davidk01 4 days ago | cached | 11 comments
  7. 2
    Standards We Love video formalmethods practices youtube.com
    hwayne avatar via hwayne 6 days ago | cached | no comments
  8. 4
    Formal Verification of Pipelined Y86-64 Microprocessors with UCLID5 (2018) ☶ pdf formalmethods hardware cs.cmu.edu
    nickpsecurity avatar via nickpsecurity 6 days ago | cached | 2 comments
  9. 7
    Modelling Rolling Deployments in Alloy and TypeScript formalmethods programming cloudbootup.com
    davidk01 avatar authored by davidk01 9 days ago | cached | 3 comments
  10. 7
    Solving Knights and Knaves with Alloy formalmethods math hillelwayne.com
    hwayne avatar authored by hwayne 11 days ago | cached | 4 comments
  11. 10
    Program synthesis of a spec with optional manual implementation for parts of the program ☶ ask formalmethods plt
    nc avatar authored by nc 14 days ago | 9 comments
  12. 5
    The KeY Project formalmethods java key-project.org
    davidk01 avatar via davidk01 14 days ago | cached | 2 comments
  13. 3
    Test Generation from Bounded, Algebraic Specifications Using Alloy (2008) ☶ pdf formalmethods java testing di.fc.ul.pt
    nickpsecurity avatar via nickpsecurity 14 days ago | cached | 6 comments
  14. 4
    Encryption Key Hierarchies in Alloy formalmethods programming cloudbootup.com
    davidk01 avatar authored by davidk01 14 days ago | cached | 6 comments
  15. 5
    Introduction to the Coq Proof Assistant video formalmethods youtube.com
    davidk01 avatar via davidk01 15 days ago | cached | 1 comment
  16. 6
    Primitive integers has been merged to master formalmethods github.com
    lthms avatar via lthms 16 days ago | cached | 2 comments
  17. 9
    Runtime Verification in Erlang by Using Contracts ☶ pdf erlang formalmethods arxiv.org
    nickpsecurity avatar via nickpsecurity 17 days ago | cached | 3 comments
  18. 6
    Update on JS verification tool JaVerT ☶ formalmethods javascript
    indolering avatar authored by indolering 17 days ago | no comments
  19. 2
    Bounded Model Checking of C++ Programs based on the Qt Cross-Platform Framework (2017) ☶ pdf c++ formalmethods ssvlab.github.io
    nickpsecurity avatar via nickpsecurity 17 days ago | cached | no comments
  20. 10
    Programming Z3 ☶ formalmethods programming python theory.stanford.edu
    nickpsecurity avatar via nickpsecurity 17 days ago | cached | 1 comment
  21. 1
    Automated Test Generation and Mutation Testingfor Alloy (2017) ☶ pdf formalmethods testing kaiyuanw.github.io
    nickpsecurity avatar via nickpsecurity 18 days ago | cached | no comments
  22. 3
    E-SPARK: Automated Generation of Provably Correct Code from Formally Verified Designs ☶ pdf formalmethods programming pdfs.semanticscholar.org
    nickpsecurity avatar via nickpsecurity 23 days ago | cached | 2 comments
  23. 11
    Verified tail-recursive addition in Coq ☶ formalmethods gist.github.com
    rs86 avatar authored by rs86 23 days ago | cached | 7 comments
  24. 2
    Coq Users in PariS on Thursday, February 7 event formalmethods meetup.com
    lthms avatar via lthms 24 days ago | cached | no comments
  25. 5
    Building A "Simple" Distributed System - Formal Verification distributed formalmethods jack-vanlightly.com
    calvin avatar via calvin 24 days ago | cached | no comments
Page 2 >>