Affiliation:
1. King Saud University, Saudi Arabia
Abstract
In this chapter, the authors categorize methods that are used to formally specify and verify software requirements. They discuss several formal method-related subjects such as calculus fuzzy and relational calculus.