📈
wiki
CtrlK
  • Introduction
  • Books
  • Computer Science
    • Data Structures
    • Algorithms
    • Formal verification
      • Coq
      • Lean
      • TLA+
    • Garbage Collection
  • Programming
  • Competitive Programming
  • Source control
  • Programming languages
  • Networking
  • Mindfullness
  • LLVM
  • Operating systems
  • Linux
  • macOS
  • Windows
  • CLI
  • Technology
  • Databases
  • Text editors
  • IDEs
  • Philosophy
  • Learning
  • History
  • Buddhism
  • Psychology
  • Logic
  • Literature
  • Research
  • Papers
  • Courses
  • Devops
  • Life
  • Meetups
  • Sports
  • Music
  • Podcasts
  • Movies
  • TV Series
  • Log
  • TIL
Powered by GitBook
On this page
  • Books
  • Links
  1. Computer Science
  2. Formal verification

TLA+

Books

  • Practical TLA+: Planning Driven Development by Hillel Wayne

Links

  • Using formal methods at Amazon

PreviousLeanNextGarbage Collection

Last updated 5 years ago