A kötet az informatikai szakma igényeinek megfelelően igyekszik
gyakorlatorientált szemlélettel bemutatni azokat a legfontosabb matematikai
eszközöket, amelyek az informatikai rendszerek tervezési és ellenőrzési
folyamataiban szerepet játszanak. A könyv fókuszában a modellellenőrzés áll,
amely egy olyan verifikációs technika, amely a rendszer egy véges modelljén
bizonyítja be, hogy valamilyen megkövetelt tulajdonság teljesül. A kötet szerzői
a Budapesti Műszaki Egyetem oktatói, akik a könyvet a műszaki informatikus
alapképzésben jegyzetként is használják. A könyv ugyanakkor igyekszik a gyakorló
informatikusok számára is érthető és hasznosítható ismereteket nyújtani.