Formal Methods Applications And Technology by