Stories tagged as formalmethods – Formal methods

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

  1. 1
    Verifying Arithmetic in Cryptographic C Programs ☶ pdf c crypto formalmethods security drive.google.com
    nickpsecurity avatar via nickpsecurity 5 hours ago | cached | no comments
  2. 6
    Modular Information Hiding and Type-Safe Linking for C (2008) ☶ pdf c formalmethods plt saurabh-srivastava.com
    nickpsecurity avatar via nickpsecurity 6 days ago | cached | 1 comment
  3. 48
    The Business Case for Formal Methods formalmethods practices hillelwayne.com
    hwayne avatar authored by hwayne 6 days ago | cached | 17 comments
  4. 3
    Making Whiley Boogie! (2017) ☶ pdf formalmethods programming homepages.ecs.vuw.ac.nz
    nickpsecurity avatar via nickpsecurity 7 days ago | cached | no comments
  5. 11
    Using Z: Specification, Refinement, and Proof pdf formalmethods math cs.cmu.edu
    lorddimwit avatar via lorddimwit 13 days ago | cached | 9 comments
  6. 3
    ARMY: A Deductive Verification Platform for ARM Programs Using Why3 ☶ pdf assembly formalmethods inforum.org.pt
    nickpsecurity avatar via nickpsecurity 13 days ago | cached | no comments
  7. 9
    Hypermodeling Hyperproperties formalmethods hillelwayne.com
    hwayne avatar authored by hwayne 15 days ago | cached | 2 comments
  8. 18
    Synthesizing Loop-Free Programs with Rust and Z3 formalmethods rust fitzgeraldnick.com
    fitzgen avatar authored by fitzgen 16 days ago | cached | no comments
  9. 3
    VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems ai formalmethods link.springer.com
    hwayne avatar via hwayne 20 days ago | cached | no comments
  10. 4
    Data Abstraction and Relational Program Logic ☶ pdf formalmethods programming arxiv.org
    nickpsecurity avatar via nickpsecurity 21 days ago | cached | no comments
  11. 8
    Hyperproperties pdf formalmethods math cs.cornell.edu
    hwayne avatar via hwayne 21 days ago | cached | no comments
  12. 4
    Pegasus: A Framework for Sound Continuous Invariant Generation ☶ pdf formalmethods programming cs.cmu.edu
    nickpsecurity avatar via nickpsecurity 22 days ago | cached | no comments
  13. 21
    Lean versus Coq: The cultural chasm compilers formalmethods math programming artagnon.com
    artagnon avatar authored by artagnon 25 days ago | cached | 3 comments
  14. 1
    Using Lightweight Modeling To Understand Chord (2012) pdf distributed formalmethods pamelazave.com
    hwayne avatar via hwayne 27 days ago | cached | no comments
  15. 7
    PRaft: Building Provably Safe Distributed Systems using Model Checking ☶ pdf formalmethods people.eecs.berkeley.edu
    ceh avatar via ceh 28 days ago | cached | no comments
  16. 5
    Alloy4Fun formalmethods alloy4fun.inesctec.pt
    hwayne avatar via hwayne 29 days ago | cached | no comments
  17. 13
    The TLA+ Toolbox formalmethods arxiv.org
    ceh avatar via ceh 1 month ago | cached | no comments
  18. 2
    Critical Perspectives on Provable Security: Fifteen Years of "Another Look" Papers ☶ pdf crypto formalmethods security eprint.iacr.org
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | no comments
  19. 15
    TLA+ for startups (part 1) ☶ formalmethods medium.com
    hwayne avatar via hwayne 1 month ago | cached | no comments
  20. 8
    CompCertM: CompCert with C-Assembly Linking and Lightweight Modular Verification assembly c formalmethods sf.snu.ac.kr
    sanxiyn avatar via sanxiyn 1 month ago | cached | no comments
  21. 23
    Jupyter kernel for TLA+ formalmethods python github.com
    hwayne avatar via hwayne 1 month ago | cached | no comments
  22. 11
    TLA+ model checking made symbolic formalmethods blog.acolyer.org
    hwayne avatar via hwayne 2 months ago | cached | no comments
  23. 6
    Formality in requirements: new publication compsci formalmethods programming bertrandmeyer.com
    felixyz avatar via felixyz 2 months ago | cached | 1 comment
  24. 5
    Automatic Loop Invariant Generation and Refinement through Selective Sampling (2017) ☶ pdf ai c formalmethods testing lijiaying.github.io
    nickpsecurity avatar via nickpsecurity 2 months ago | cached | 1 comment
  25. 7
    How to make your papers run: Executable formal semantics for your language formalmethods plt tweag.io
    aborgna avatar via aborgna 2 months ago | cached | 1 comment
Page 2 >>