The Inverse Method: Parametric Verification of Real-time Embedded Systems

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.