Essential for "mission-critical" systems where a bug could be fatal.
Provides the theoretical bridge between pure math and applied coding. karpov model checking skachat pdf
Detailed explanations of LTL (Linear Temporal Logic) and CTL (Computation Tree Logic). Essential for "mission-critical" systems where a bug could
State space exploration and "on-the-fly" verification. karpov model checking skachat pdf
This is one of the most prominent Russian-language textbooks on formal verification. It focuses on the mathematical foundations and practical tools used to ensure the correctness of complex software systems. Yuri Glebovich Karpov