1. 4
    JQF: Coverage-Guided Property-Based Testing in Java ☶ pdf java testing people.eecs.berkeley.edu
    nickpsecurity avatar via nickpsecurity 3 days ago | cached | no comments
  2. 6
    Modular Information Hiding and Type-Safe Linking for C (2008) ☶ pdf c formalmethods plt saurabh-srivastava.com
    nickpsecurity avatar via nickpsecurity 4 days ago | cached | 1 comment
  3. 3
    Making Whiley Boogie! (2017) ☶ pdf formalmethods programming homepages.ecs.vuw.ac.nz
    nickpsecurity avatar via nickpsecurity 5 days ago | cached | no comments
  4. 12
    Drawing with Ants: Generative Art with Ant Colony Optimization Algorithms ai art javascript python amydyer.art
    nickpsecurity avatar via nickpsecurity 10 days ago | cached | no comments
  5. 3
    ARMY: A Deductive Verification Platform for ARM Programs Using Why3 ☶ pdf assembly formalmethods inforum.org.pt
    nickpsecurity avatar via nickpsecurity 11 days ago | cached | no comments
  6. 5
    Binary Mutation Analysis of Tests Using Reassembleable Disassembly ☶ pdf assembly c testing www-users.cs.umn.edu
    nickpsecurity avatar via nickpsecurity 12 days ago | cached | 1 comment
  7. 4
    Data Abstraction and Relational Program Logic ☶ pdf formalmethods programming arxiv.org
    nickpsecurity avatar via nickpsecurity 19 days ago | cached | no comments
  8. 4
    Pegasus: A Framework for Sound Continuous Invariant Generation ☶ pdf formalmethods programming cs.cmu.edu
    nickpsecurity avatar via nickpsecurity 20 days ago | cached | no comments
  9. 2
    Critical Perspectives on Provable Security: Fifteen Years of "Another Look" Papers ☶ pdf crypto formalmethods security eprint.iacr.org
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | no comments
  10. 30
    How Do Bullets Work in Video Games? games programming gamasutra.com
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | 8 comments
  11. 5
    Security Wrappers and Bernstein Chaining (2003) historical security unix catb.org
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | no comments
  12. 12
    Scant Evidence of Power Laws Found in Real-World Networks (2018) science quantamagazine.org
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | 7 comments
  13. 5
    Automatic Loop Invariant Generation and Refinement through Selective Sampling (2017) ☶ pdf ai c formalmethods testing lijiaying.github.io
    nickpsecurity avatar via nickpsecurity 2 months ago | cached | 1 comment
  14. 14
    Designed for Reliability practices security thedailywtf.com
    nickpsecurity avatar via nickpsecurity 2 months ago | cached | 4 comments
  15. 3
    Automatically Testing Implementations of Numerical Abstract Domains (2018) ☶ pdf formalmethods testing mariachris.github.io
    nickpsecurity avatar via nickpsecurity 2 months ago | cached | no comments
  16. 18
    Pascal and the P-Machine historical programming filfre.net
    nickpsecurity avatar via nickpsecurity 2 months ago | cached | 3 comments
  17. 2
    How Lock-free Data Structures Perform in Dynamic Environments: Models and Analyses (2016) ☶ pdf distributed performance programming arxiv.org
    nickpsecurity avatar via nickpsecurity 2 months ago | cached | no comments
  18. 2
    Certified concurrent abstraction layers (2018) ☶ pdf c formalmethods osdev cs.columbia.edu
    nickpsecurity avatar via nickpsecurity 2 months ago | cached | no comments
  19. 5
    LoCal: A Language for Programs Operating on Serialized Data ☶ pdf c c++ compilers lisp plt recurial.com
    nickpsecurity avatar via nickpsecurity 2 months ago | cached | 2 comments
  20. 3
    Sequential Programming for Replicated Data Stores ☶ pdf databases distributed haskell plt security s.octalsrc.org
    nickpsecurity avatar via nickpsecurity 2 months ago | cached | no comments
  21. 4
    A Modular Integration of SAT/SMT Solvers to Coq through Proof Witnesses ☶ pdf formalmethods programming prosecco.gforge.inria.fr
    nickpsecurity avatar via nickpsecurity 3 months ago | cached | 2 comments
  22. 11
    L.in.o.l.e.u.m: Universal low-level programming language historical plt programming anynowhere.com
    nickpsecurity avatar via nickpsecurity 3 months ago | cached | 7 comments
  23. 2
    Abstract State Machines for the Classroom: The Basics (2007) pdf formalmethods programming informatik.hu-berlin.de
    nickpsecurity avatar via nickpsecurity 3 months ago | cached | no comments
  24. 6
    Formal Verification of a Vehicle-to-Vehicle (V2V) Messaging System ☶ pdf c formalmethods networking leepike.github.io
    nickpsecurity avatar via nickpsecurity 3 months ago | cached | no comments
  25. 2
    Learning How to Prove: From the Coq Proof Assistant to Textbook Style ☶ pdf education formalmethods arxiv.org
    nickpsecurity avatar via nickpsecurity 3 months ago | cached | no comments
Page 2 >>