IT Skills Software Design and Development Software Testing and Quality
With a working case study and a variety of practical problems, this book is a comprehensive resource on TLA+ programming with rich, complex examples that shows you how to use TLA+ to specify a complex system and test the design itself for bugs.
