Stories tagged as formalmethods – Formal methods
  1. 6
    State Machines and Alloy formalmethods aQute.biz
    hwayne avatar via hwayne 3 months ago | cached | no comments
  2. 6
    Noise Explorer: Design and Explore Noise Security Protocol Handshake Patterns crypto formalmethods security noiseexplorer.com
    mpdehnel avatar via mpdehnel 3 months ago | cached | no comments
  3. 15
    Can F* replace Haskell and Coq? formalmethods ml plt cryptulf.com
    copy avatar via copy 3 months ago | cached | no comments
  4. 4
    Conc2Seq: A Frama-C Plugin for Verification of Parallel Compositions of C Programs (2016) ☶ pdf c formalmethods allan-blanchard.fr
    nickpsecurity avatar via nickpsecurity 3 months ago | cached | no comments
  5. 25
    A Formal Security Analysis of the Signal Messaging Protocol ☶ pdf formalmethods security eprint.iacr.org
    pushcx avatar via pushcx 3 months ago | cached | no comments
  6. 1
    Building Robust Dist Systems and Network Protocols Using Adversarial Testing and Behavioral Analysis ☶ pdf distributed formalmethods programming testing nds2.ccs.neu.edu
    nickpsecurity avatar via nickpsecurity 3 months ago | cached | no comments
  7. 6
    DSLs for Ethereum Contracts c compilers cryptocurrencies formalmethods lisp michaelburge.us
    MichaelBurge avatar authored by MichaelBurge 3 months ago | cached | 4 comments
  8. 5
    ULTIMATE Program Analysis Framework for C c compilers formalmethods security monteverdi.informatik.uni-freiburg.de
    nickpsecurity avatar via nickpsecurity 3 months ago | cached | 3 comments
  9. 12
    Taking on a Challenge in SPARK formalmethods blog.adacore.com
    hwayne avatar via hwayne 3 months ago | cached | 2 comments
  10. 10
    From Unit Testing to Formal Proofs formalmethods python testing adampalay.com
    pushcx avatar via pushcx 3 months ago | cached | 1 comment
  11. 3
    Yet Another Hierarchical State Machine (2004) c++ formalmethods accu.org
    hwayne avatar via hwayne 3 months ago | cached | no comments
  12. 8
    Formal Verification With Frama-C: A Case Study in the Space Software Domain (2015) ☶ pdf c formalmethods repositorio.inesctec.pt
    nickpsecurity avatar via nickpsecurity 3 months ago | cached | no comments
  13. 3
    A Brief History of Process Algebra (2004) ☶ pdf formalmethods historical alexandria.tue.nl
    nickpsecurity avatar via nickpsecurity 3 months ago | cached | no comments
  14. 1
    Counterexample-Guided k-Induction for Fast Bug Detection ☶ pdf c formalmethods arxiv.org
    nickpsecurity avatar via nickpsecurity 4 months ago | cached | no comments
  15. 16
    KRust: A Formal Executable Semantics of Rust pdf formalmethods plt programming rust arxiv.org
    brendan avatar via brendan 4 months ago | cached | 1 comment
  16. 4
    Bidirectional Certified Programming (2017) ☶ pdf formalmethods ml ceur-ws.org
    nickpsecurity avatar via nickpsecurity 4 months ago | cached | no comments
  17. 2
    Boosting the Permissiveness of Dynamic Information-Flow Tracking by Testing (2012) ☶ pdf formalmethods haskell javascript plt testing pdfs.semanticscholar.org
    nickpsecurity avatar via nickpsecurity 4 months ago | cached | no comments
  18. 28
    Are functional programs easier to verify than imperative programs? formalmethods plt semantic-domain.blogspot.com
    hwayne avatar via hwayne 4 months ago | cached | 4 comments
  19. 4
    Source Code Verification for Embedded Systems using Prolog (2016) ☶ pdf c++ formalmethods programming montenegros.de
    nickpsecurity avatar via nickpsecurity 4 months ago | cached | no comments
  20. 2
    Aggregating verified modules together formalmethods hardware zipcpu.com
    GeoffWozniak avatar via GeoffWozniak 4 months ago | cached | no comments
  21. 3
    Formal Verification of Obstacle Avoidance and Navigation of Ground Robots (2017) ☶ pdf formalmethods hardware programming symbolaris.com
    nickpsecurity avatar via nickpsecurity 4 months ago | cached | no comments
  22. 4
    Refinement Types for TLA+ (2014) ☶ pdf formalmethods plt citeseerx.ist.psu.edu
    nickpsecurity avatar via nickpsecurity 4 months ago | cached | no comments
  23. 4
    Toward a Framework for Highly Automated Vehicle Safety Validation, Philip Koopman & Michael Wagner pdf formalmethods practices testing users.ece.cmu.edu
    trn avatar via trn 4 months ago | cached | no comments
  24. 53
    The Great Theorem Prover Showdown formalmethods plt hillelwayne.com
    hwayne avatar authored by hwayne 4 months ago | cached | 19 comments
  25. 2
    A Provably Correct Sampler for Probabilistic Programs (2016) ☶ pdf ai formalmethods programming microsoft.com
    nickpsecurity avatar via nickpsecurity 4 months ago | cached | no comments
<< Page 3 | Page 5 >>