Big Books of 2026

Join the Goodreads Author Program

Are you Xavier Rival, author of the books below?
Introduction to Static Analysis by Xavier Rival Static Analysis by Xavier Rival Static Analysis by Xavier Rival Verification, Model Checking, and Abstract Interpretation by Kenneth McMillan Shape Analysis (Foundations and Trends by Bor-Yuh Evan Chang Verification, Model Checking, and Abstract Interpretation by Kenneth McMillan Verification, Model Checking, and Abstract Interpretation by Kenneth McMillan


To join the author program as Xavier Rival, you will first need to sign in to Goodreads. Then navigate back to this page to apply.


About the Author Program
Authors on Goodreads
Author Guidelines
Author Program How-To
Author & Advertisers Blog
Ask the Author: Featured Authors
About Goodreads