As we increase our reliance on computer-generated information, often using it as part of our decision-making process, we must devise tools to assess the correctness of that information. The goal of this book is to introduce the reader to software verification in the context of visualization. prečítať celé