O'Reilly logo

The Inverse Method: Parametric Verification of Real-time Embedded Systems by Romain Soulat, Etienne André

Stay ahead with the world's most comprehensive technology and business learning platform.

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

Start Free Trial

No credit card required

Acknowledgments

The authors wish to thank the numerous colleagues and students who have contributed to the development of the inverse method, its implementation and its practical applications. The authors are very grateful to Laurent Fribourg for his strong support with respect to this book, and for providing valuable feedback on earlier versions of the manuscript. The authors wish to thank Thomas Chatain, Emmanuelle Encrenaz, Ulrich Kühne and Jeremy Sproston for their contributions to the inverse method and its extensions. The authors also wish to acknowledge the contributions of Abdelrezzak Bara, Pirouz Bazargan-Sabet, Remy Chevallier, Dominique Le Dû and Patricia Renault to the VALMEM project presented in section 3.8; the contributions of Olivier De Smet, Bruno Denis and Silvain Ruel to the SIMOP project presented in section 3.9; and the contributions of David Lesens and Pierre Moro to the project presented in section 6.3.

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

Start Free Trial

No credit card required