Stories tagged as formalmethods – Formal methods
  1. 2
    Verification of Tree-Based Hierarchical Read-Copy Update in the Linux Kernel (2018) ☶ pdf c formalmethods linux osdev kroening.com
    nickpsecurity avatar via nickpsecurity 2 days ago | cached | no comments
  2. 1
    A Verified Implementation of the Bounded List Container ☶ pdf c formalmethods link.springer.com
    nickpsecurity avatar via nickpsecurity 2 days ago | cached | no comments
  3. 7
    C2TLA++: A translator from C to TLA++ pdf slides c formalmethods tla2014.loria.fr
    nickpsecurity avatar via nickpsecurity 3 days ago | cached | 2 comments
  4. 8
    A Survey of Symbolic Execution Techniques ☶ pdf formalmethods security arxiv.org
    lojikil avatar via lojikil 3 days ago | cached | 2 comments
  5. 2
    SIFT: Design and Analysis of Fault-Tolerant Computer for Aircraft Control (1978) ☶ pdf formalmethods hardware historical programming microsoft.com
    nickpsecurity avatar via nickpsecurity 3 days ago | cached | no comments
  6. 28
    Designing Distributed Systems with TLA+ video distributed formalmethods hillelwayne.com
    hwayne avatar authored by hwayne 4 days ago | cached | 7 comments
  7. 1
    IFC Inside: Retrofitting Languages with Dynamic Information Flow Control (2015) ☶ pdf formalmethods plt programming security cseweb.ucsd.edu
    nickpsecurity avatar via nickpsecurity 4 days ago | cached | no comments
  8. 8
    ESBMC 5.0: An Industrial Strength Model Checker ☶ pdf c formalmethods security ssvlab.github.io
    nickpsecurity avatar via nickpsecurity 4 days ago | cached | no comments
  9. 15
    Foundations and Trends in Programming Languages: Program Synthesis ☶ pdf compsci formalmethods programming microsoft.com
    nickpsecurity avatar via nickpsecurity 4 days ago | cached | no comments
  10. 6
    Verifying Fixed-Point Digital Filters using SMT - Based Bounded Model Checking ☶ pdf c formalmethods arxiv.org
    nickpsecurity avatar via nickpsecurity 5 days ago | cached | no comments
  11. 4
    MicroTESK (toolkit that automates development of test program generators for microprocessors) ☶ formalmethods hardware testing microtesk.org
    sergeyb avatar via sergeyb 6 days ago | cached | 1 comment
  12. 1
    CPA-SymExec: Efficient Symbolic Execution in CPAchecker ☶ pdf c formalmethods testing sosy-lab.org
    nickpsecurity avatar via nickpsecurity 6 days ago | cached | no comments
  13. 9
    Strange Loop 2018: You are a Program Synthesizer (video + transcript) design formalmethods plt programming pathsensitive.com
    jkoppel avatar authored by jkoppel 6 days ago | cached | 10 comments
  14. 18
    List of companies that uses formal methods in software engineering formalmethods github.com
    sergeyb avatar authored by sergeyb 7 days ago | cached | 1 comment
  15. 1
    Holistic specifications for robust code video formalmethods youtube.com
    SeanTAllen avatar via SeanTAllen 9 days ago | cached | no comments
  16. 2
    Formal Verification of Control Systems Properties with Theorem Proving (2014) ☶ pdf formalmethods programming arxiv.org
    nickpsecurity avatar via nickpsecurity 12 days ago | cached | 6 comments
  17. 1
    Certified Verification of Algebraic Properties on Low-Level, Math Constructs in Crypto Lib's ☶ pdf crypto formalmethods acmccs.github.io
    nickpsecurity avatar via nickpsecurity 15 days ago | cached | no comments
  18. 3
    JaVerT 2.0: Symbolic Execution for JavaScript ☶ pdf formalmethods doc.ic.ac.uk
    indolering avatar via indolering 15 days ago | cached | no comments
  19. 2
    Hierarchical, Timed, Abstract, State Machines for WCET Estimation (2015) ☶ assembly formalmethods hardware hal.archives-ouvertes.fr
    nickpsecurity avatar via nickpsecurity 16 days ago | cached | no comments
  20. 1
    Safe Concurrency for Aggregate Objects with Invariants (2005) ☶ pdf dotnet formalmethods java microsoft.com
    nickpsecurity avatar via nickpsecurity 16 days ago | cached | no comments
  21. 5
    IELE: Formally verified Ethereum VM based on LLVM cryptocurrencies formalmethods runtimeverification.com
    indolering avatar via indolering 16 days ago | cached | no comments
  22. 13
    Simple verification in Idris ☶ formalmethods plt gist.github.com
    rs86 avatar authored by rs86 17 days ago | cached | 2 comments
  23. 1
    Formally-Verified Components for Layered Assurance via LLVM-to-ACL2 Translator pdf slides compilers formalmethods acsac.org
    nickpsecurity avatar via nickpsecurity 17 days ago | cached | no comments
  24. 6
    Formally-Verified, Decentralized, Key-Management Architecture for Wireless Sensor Networks ☶ pdf crypto distributed formalmethods citeseerx.ist.psu.edu
    nickpsecurity avatar via nickpsecurity 17 days ago | cached | no comments
  25. 5
    LaTTe : a Laboratory for Type Theory experiments clojure formalmethods plt github.com
    Yogthos avatar via Yogthos 18 days ago | cached | 2 comments
Page 2 >>