Another approach to formal methods in software development is to write a specification in some form of logic—usually a variation of first-order logic (FOL)—and then to directly execute the logic as though it were a program.
Други настојани тренд у развоју софтвера је да напише спецификацију у неком логичцном облику обично варијација првог реда логике(FOL) -и онда да директно изврши логику као да је програм.