formal specification methods - Search