Tworzenie szablonu: Metody formalne weryfikacji