"Blue Collar Formal Methods" in Commercial Quality Assurance
Summary:
There are many areas in commercial QA where Formal Methods (FM) could make useful contributions, yet there has not been a lot of focus by the FM community on commercial QA in a "real-world" setting. This paper focuses on these methods.
There are many areas in commercial QA where Formal Methods (FM) could make useful contributions, yet there has not been a lot of focus by the FM community on commercial QA in a "real-world" setting. This paper focuses on these methods.