結果 : software formal specification