Leanpub Header

Skip to main content
Go to Leanpub.com

Filters

Category: "Formal Methods"

Formal Methods

  1. Formal Verification for Working Software Engineers
    Formal Verification for Working Software Engineers
    From First Principles to Production-Grade Verified Systems
    Steve Publications

    Formal verification does not have to live in research papers. This practical guide shows working software engineers how to turn real requirements into precise, machine-checkable guarantees, find bugs before they reach production and bring formal methods into everyday development, from application code to distributed and security-critical systems.

  2. The Hyper-Drive Algorithms ​From Raw Python Formulas to High-Performance GPU & Machine Code
    The Hyper-Drive Algorithms ​From Raw Python Formulas to High-Performance GPU & Machine Code
    From Raw Python Formulas to High-Performance GPU & Machine Code
    AhmedAdawy

    Make your Python AI code up to 100× faster using NumPy vectorization, Numba, parallel execution, and GPU acceleration. Learn through practical benchmarks and real-world optimization examples.

  3. Notes on Dynamical Systems for Actor-Critic Learning
    Notes on Dynamical Systems for Actor-Critic Learning
    A Dynamical Systems Approach to Reinforcement Learning Mean Dynamics
    Vladyslav Prytula

    An introduction to actor-critic algorithms as dynamical systems: featuring hand-computable examples, fast-slow reductions, and machine-checked Lean 4 proofs