https://infosekolah.net/uk/Формальні_методи