Stories tagged as formalmethods – Formal methods

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

  1. 2
    Formal Approaches to Secure Compilation: A Survey of Fully Abstract Compilation ☶ pdf compilers formalmethods java security theory.stanford.edu
    nickpsecurity avatar via nickpsecurity 15 hours ago | cached | no comments
  2. 8
    Solving Knights and Knaves with Z3 formalmethods jamiecollinson.com
    hwayne avatar via hwayne 16 hours ago | cached | 1 comment
  3. 10
    Probabilistic Modeling with PRISM formalmethods math hillelwayne.com
    hwayne avatar authored by hwayne 42 hours ago | cached | no comments
  4. 7
    Modeling tower of hanoi in linear logic compsci formalmethods plt boxbase.org
    HenriTuhola avatar authored by HenriTuhola 2 days ago | cached | no comments
  5. 2
    CompCertX: verified separate compilation for compositional verification of layered systems (2015) pdf slides c compilers formalmethods gallium.inria.fr
    nickpsecurity avatar via nickpsecurity 4 days ago | cached | 1 comment
  6. 4
    A Lightweight Framework for Regular Expression Verification ☶ pdf formalmethods python faculty.ist.psu.edu
    nickpsecurity avatar via nickpsecurity 6 days ago | cached | no comments
  7. 14
    C program proofs with Frama-C and its WP plugin c formalmethods programming allan-blanchard.fr
    ac avatar via ac 7 days ago | cached | 5 comments
  8. 4
    Design and Analysis of Real-Time Systems: Static WCET Analysis (2013) ☶ pdf slides c formalmethods performance security embedded.cs.uni-saarland.de
    nickpsecurity avatar via nickpsecurity 8 days ago | cached | no comments
  9. 23
    Using a SMT solver to find optimal GBA palettes formalmethods graphics blog.catboli.com
    calvin avatar via calvin 10 days ago | cached | 2 comments
  10. 1
    FlowPools: A Lock-Free Deterministic Concurrent Dataflow Abstraction (2012) ☶ pdf formalmethods java performance security infoscience.epfl.ch
    nickpsecurity avatar via nickpsecurity 11 days ago | cached | no comments
  11. 2
    Decoupling Lock-Free Data Structures from Memory Reclamation for Static Analysis (2018) ☶ pdf c formalmethods security arxiv.org
    nickpsecurity avatar via nickpsecurity 13 days ago | cached | no comments
  12. 6
    Verified Compilation on a Verified Processor pdf formalmethods cakeml.org
    sanxiyn avatar via sanxiyn 16 days ago | cached | 8 comments
  13. 1
    Symbolic Deadlock Analysis in Concurrent Libraries and their Clients (2009) ☶ pdf formalmethods java security cs.colorado.edu
    nickpsecurity avatar via nickpsecurity 19 days ago | cached | no comments
  14. 6
    PhASAR: An Inter-Procedural Static Analysis Framework for C/C++ ☶ pdf c c++ formalmethods thewhitespace.de
    nickpsecurity avatar via nickpsecurity 20 days ago | cached | no comments
  15. 10
    Von Neumann’s critique of automata theory and logic in computer science ☶ formalmethods math yodaiken.com
    vyodaiken avatar via vyodaiken 26 days ago | cached | 8 comments
  16. 2
    Repair and Generation of Formal Models Using Synthesis (2018) ☶ pdf formalmethods programming krin.gs
    nickpsecurity avatar via nickpsecurity 28 days ago | cached | no comments
  17. 1
    On Post-Compromise Security ☶ pdf crypto formalmethods security eprint.iacr.org
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | no comments
  18. 43
    Book Review: Practical TLA+ book formalmethods pathsensitive.com
    jkoppel avatar authored by jkoppel 1 month ago | cached | 14 comments
  19. 4
    [](BeSuspiciousOfSuccess) formalmethods lemmster.de
    hwayne avatar via hwayne 1 month ago | cached | no comments
  20. 5
    One Monad to Prove Them All ☶ pdf formalmethods haskell arxiv.org
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | no comments
  21. 12
    Using SPARK to prove 255-bit Integer Arithmetic from Curve25519 crypto formalmethods blog.adacore.com
    calvin avatar via calvin 1 month ago | cached | 1 comment
  22. 1
    SPLLIFT — Statically Analyzing Software Product Lines in Minutes Instead of Years (2013) ☶ pdf formalmethods java bodden.de
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | no comments
  23. 37
    Modeling Adversaries with TLA+ formalmethods hillelwayne.com
    hwayne avatar authored by hwayne 1 month ago | cached | 7 comments
  24. 1
    Dynamic Programming via Static Incrementalization (2003) pdf formalmethods java math programming cs.stonybrook.edu
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | no comments
  25. 3
    Simulating memory models with herd7 distributed formalmethods programming diy.inria.fr
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | no comments
Page 2 >>