Formal Verification Books Categories

  1. home
  2. Formal Verification Books Categories

Formal Verification Categories Books ListFormal Verification Books Categories

Model Checking (Hardcover)
Model Checking (Hardcover)
View More

Model Checking (Hardcover)

By: Edmund M. Clarke Jr.
Software Foundations (ebook)
Software Foundations (ebook)
View More

Software Foundations (ebook)

By: Benjamin C. Pierce
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant (Hardcover)
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant (Hardcover)
View More

Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant (Hardcover)

By: Adam Chlipala
Principles of Model Checking (Mit Press)
Principles of Model Checking (Mit Press)
View More

Principles of Model Checking (Mit Press)

By: Christel Baier
The Proof in the Code: How a Truth Machine Is Transforming Math and AI (Hardcover)
The Proof in the Code: How a Truth Machine Is Transforming Math and AI (Hardcover)
View More

The Proof in the Code: How a Truth Machine Is Transforming Math and AI (Hardcover)

By: Kevin Hartnett
Practical TLA+: Planning Driven Development (Kindle Edition)
Practical TLA+: Planning Driven Development (Kindle Edition)
View More

Practical TLA+: Planning Driven Development (Kindle Edition)

By: Hillel Wayne
Verified Functional Programming in Agda (ebook)
Verified Functional Programming in Agda (ebook)
View More

Verified Functional Programming in Agda (ebook)

By: Aaron Stump
Type Theory and Formal Proof: An Introduction (Hardcover)
Type Theory and Formal Proof: An Introduction (Hardcover)
View More

Type Theory and Formal Proof: An Introduction (Hardcover)

By: Rob Nederpelt
Program Logics for Certified Compilers (Hardcover)
Program Logics for Certified Compilers (Hardcover)
View More

Program Logics for Certified Compilers (Hardcover)

By: Andrew W. Appel
Interactive Theorem Proving and Program Development (Hardcover)
Interactive Theorem Proving and Program Development (Hardcover)
View More

Interactive Theorem Proving and Program Development (Hardcover)

By: Yves Bertot