Tomeki

Explore Books on
formal verification

1-2 of 2 Books

View The Seventeen Provers of the World By Freek Wiedijk
Cover of The Seventeen Provers of the World by freek wiedijk

The Seventeen Provers of the World

By Freek Wiedijk

View Verification, Model Checking, and Abstract Interpretation By Kedar S. Namjoshi,Andreas Podelski
Cover of Verification, Model Checking, and Abstract Interpretation by kedar s. namjoshi,andreas podelski

Verification, Model Checking, and Abstract Interpretation

By Kedar S. Namjoshi,Andreas Podelski