1. Верификация моделей программ. Model Checking. Кларк, Грамберг, Пелед (2002).djvu
4708.3 KB
10 сент. 2025 г., 13:12
2. Model Checking. Вериф. парал. и распределенных программных систем. Карпов (2010).djvu
12179.4 KB
10 сент. 2025 г., 13:13
3. Verification of sequential and concurrent programs. Apt, Olderog (3rd edition) (2010).pdf
2535.6 KB
10 сент. 2025 г., 13:12
4. (can not find) Systems and sw verification model checking techniques and tools. Berard.txt
0.0 KB
10 сент. 2025 г., 13:12
5. Principles of Model Checking. Baier, Joost (2008).pdf
5632.4 KB
10 сент. 2025 г., 13:13