結果 : formal methods model in software engineering geeksforgeeks