Franklin Ramalho

A Domain-Specific Language for Verifying Software Requirement\n Constraints

2019 · arXiv (Cornell University)

Software requirement analysis can certainly benefit from prevention and early\ndetection of failures, in particular by some kind of automatic analysis. Formal\nmethods offer means to represent and analyze requirements with rigorous tools,\navoiding ambiguities and allowing automatic …