Template:Formalmethods-stub