Stories tagged as formalmethods – Formal methods

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

  1. 3
    The Dogged Pursuit of Bug-Free C Programs: The Frama-C Software Analysis Platform formalmethods testing cacm.acm.org
    kiniry avatar via kiniry 8 hours ago | cached | no comments
  2. 2
    Extending Event-B with Discrete, Timing Properties (2012) ☶ pdf formalmethods programming deploy-eprints.ecs.soton.ac.uk
    nickpsecurity avatar via nickpsecurity 11 days ago | cached | no comments
  3. 4
    A Tutorial on Verifying LinkedList Using KeY ☶ pdf formalmethods java ir.cwi.nl
    praalhans avatar authored by praalhans 12 days ago | cached | no comments
  4. 16
    Specification Refinement formalmethods hillelwayne.com
    hwayne avatar authored by hwayne 13 days ago | cached | no comments
  5. 26
    Goodbye C developers: The future of programming with certified program synthesis formalmethods programming gopiandcode.uk
    sergeyb avatar via sergeyb 20 days ago | cached | 32 comments
  6. 14
    Where are we going from here? Software engineering needs formal methods formalmethods practices ntietz.com
    ntietz avatar authored by ntietz 24 days ago | cached | 14 comments
  7. 32
    A sudoku game where you have to prove that your deductions are valid formalmethods games github.com
    NieDzejkob avatar via NieDzejkob 26 days ago | cached | 2 comments
  8. 10
    Program Verification: Vision and Reality formalmethods cacm.acm.org
    GeoffWozniak avatar via GeoffWozniak 27 days ago | cached | 1 comment
  9. 5
    The Logical Basis of Evaluation Order and Pattern-Matching (2009) pdf compsci formalmethods noamz.org
    calvin avatar via calvin 27 days ago | cached | no comments
  10. 7
    A Flying Demo of ACL2 (2000) formalmethods cs.utexas.edu
    NieDzejkob avatar via NieDzejkob 1 month ago | cached | no comments
  11. 18
    Stateright: A model checker for implementing distributed systems formalmethods rust github.com
    hwayne avatar via hwayne 1 month ago | cached | 3 comments
  12. 4
    The Dafny Power User formalmethods leino.science
    hwayne avatar via hwayne 1 month ago | cached | no comments
  13. 7
    Half a year of the Liquid Tensor Experiment: Amazing developments formalmethods math xenaproject.wordpress.com
    sanxiyn avatar via sanxiyn 1 month ago | cached | 2 comments
  14. 18
    Automatic Rust verification tools (2021) formalmethods rust alastairreid.github.io
    adaszko avatar via adaszko 1 month ago | cached | 1 comment
  15. 8
    People Don't Write Programs formalmethods pron.github.io
    sanxiyn avatar via sanxiyn 1 month ago | cached | 1 comment
  16. 37
    Request to rename [formalmethods] to [formal-methods] ☶ formalmethods meta
    nalzok avatar authored by nalzok 1 month ago | 11 comments
  17. 13
    RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types c formalmethods plv.mpi-sws.org
    sanxiyn avatar via sanxiyn 2 months ago | cached | 4 comments
  18. 30
    Data61 drops world-class seL4 security team formalmethods osdev security innovationaus.com
    ethoh avatar via ethoh 2 months ago | cached | 5 comments
  19. 9
    Modelling data pipelines with Alloy formalmethods mostlymaths.net
    hwayne avatar via hwayne 2 months ago | cached | no comments
  20. 7
    Verification = TCB/PB Reduction formalmethods blog.compiler.ai
    brendan avatar via brendan 2 months ago | cached | 1 comment
  21. 2
    Machine Learning in Causal Inference: How do I love thee? Let me count the ways ai education formalmethods academic.oup.com
    Anon84 avatar via Anon84 2 months ago | cached | no comments
  22. 42
    Catala: A Programming Language for the Law ☶ pdf formalmethods law plt arxiv.org
    calvin avatar via calvin 2 months ago | cached | 17 comments
  23. 19
    seL4 on RISC-V Verified to Binary Code formalmethods osdev security microkerneldude.wordpress.com
    ethoh avatar via ethoh 2 months ago | cached | 18 comments
  24. 17
    Programming in Z3 by learning to think like a compiler formalmethods python bellmar.medium.com
    hwayne avatar via hwayne 2 months ago | cached | no comments
  25. 6
    Z3 Tutorial formalmethods colab.research.google.com
    GrayGnome avatar via GrayGnome 2 months ago | cached | no comments
Page 2 >>