関連ワード:  formal specification    formal specification languages    formal specification in software engineering    formal specification and verification    formal specification methods in software engineering    formal specification methods    formal specification examples    formal specifications from natural language    formal specification in software engineering geeksforgeeks    formal specification language in software engineering