Stories tagged as formalmethods – Formal methods

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

  1. 15
    TLA+ for startups (part 1) ☶ formalmethods medium.com
    hwayne avatar via hwayne 46 hours ago | cached | no comments
  2. 8
    CompCertM: CompCert with C-Assembly Linking and Lightweight Modular Verification assembly c formalmethods sf.snu.ac.kr
    sanxiyn avatar via sanxiyn 2 days ago | cached | no comments
  3. 23
    Jupyter kernel for TLA+ formalmethods python github.com
    hwayne avatar via hwayne 6 days ago | cached | no comments
  4. 11
    TLA+ model checking made symbolic formalmethods blog.acolyer.org
    hwayne avatar via hwayne 10 days ago | cached | no comments
  5. 6
    Formality in requirements: new publication compsci formalmethods programming bertrandmeyer.com
    felixyz avatar via felixyz 10 days ago | cached | 1 comment
  6. 5
    Automatic Loop Invariant Generation and Refinement through Selective Sampling (2017) ☶ pdf ai c formalmethods testing lijiaying.github.io
    nickpsecurity avatar via nickpsecurity 11 days ago | cached | 1 comment
  7. 7
    How to make your papers run: Executable formal semantics for your language formalmethods plt tweag.io
    aborgna avatar via aborgna 11 days ago | cached | 1 comment
  8. 6
    Building Your First Program Synthesizer formalmethods blog.sigplan.org
    GeoffWozniak avatar via GeoffWozniak 12 days ago | cached | no comments
  9. 3
    Automatically Testing Implementations of Numerical Abstract Domains (2018) ☶ pdf formalmethods testing mariachris.github.io
    nickpsecurity avatar via nickpsecurity 18 days ago | cached | no comments
  10. 8
    A Clever Way To Find Compiler Bugs compilers formalmethods rjlipton.wordpress.com
    calvin avatar via calvin 19 days ago | cached | no comments
  11. 3
    Differentially Testing Soundness and Precision of Program Analyzers formalmethods arxiv.org
    sanxiyn avatar via sanxiyn 19 days ago | cached | no comments
  12. 24
    TLA+ Video Course by Leslie Lamport debugging distributed formalmethods lamport.azurewebsites.net
    as1ndu avatar via as1ndu 19 days ago | cached | 1 comment
  13. 19
    Stacked Borrows: An Aliasing Model for Rust (the paper) pdf formalmethods rust ralfj.de
    notriddle avatar via notriddle 20 days ago | cached | 1 comment
  14. 12
    Grappling with infinity in constraint solvers compsci formalmethods math programming tuzz.tech
    tuzz avatar authored by tuzz 22 days ago | cached | 2 comments
  15. 6
    A Domain-Specific Language for Verifying Software Requirement Constraints pdf formalmethods arxiv.org
    ToKi avatar via ToKi 22 days ago | cached | 1 comment
  16. 9
    Modeling Systems with TLA+ video elixir formalmethods youtube.com
    hwayne avatar via hwayne 24 days ago | cached | no comments
  17. 11
    Formal Verification of a Constant-Time Preserving C Compiler formalmethods eprint.iacr.org
    sanxiyn avatar via sanxiyn 24 days ago | cached | 1 comment
  18. 14
    Mutation Analysis for Coq ☶ formalmethods cozy.ece.utexas.edu
    derek-jones avatar via derek-jones 25 days ago | cached | no comments
  19. 2
    Certified concurrent abstraction layers (2018) ☶ pdf c formalmethods osdev cs.columbia.edu
    nickpsecurity avatar via nickpsecurity 27 days ago | cached | no comments
  20. 3
    Parallel Commits: An Atomic Commit Protocol For Globally Distributed Transactions databases distributed formalmethods cockroachlabs.com
    hwayne avatar via hwayne 1 month ago | cached | no comments
  21. 5
    Metamath Zero: The Cartesian Theorem Prover ☶ pdf formalmethods math arxiv.org
    pushcx avatar via pushcx 1 month ago | cached | no comments
  22. 3
    Symbolically executing a fuzzy tyrant ☶ slides video formalmethods security youtube.com
    lojikil avatar authored by lojikil 1 month ago | cached | 1 comment
  23. 4
    A Modular Integration of SAT/SMT Solvers to Coq through Proof Witnesses ☶ pdf formalmethods programming prosecco.gforge.inria.fr
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | 2 comments
  24. 5
    Haskell Programming With Tests, and Some Alloy pdf formalmethods haskell testing staff.fnwi.uva.nl
    felixyz avatar via felixyz 1 month ago | cached | no comments
  25. 2
    Abstract State Machines for the Classroom: The Basics (2007) pdf formalmethods programming informatik.hu-berlin.de
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | no comments
Page 2 >>