There are even methods for full verification (e.g. the SPI calculus) but they are extremely cumbersome and cannot be automated.
Існують навіть методи повної перевірки (наприклад, SPI обчислення), але вони є надзвичайно громіздкими та не можуть бути автоматизованими.