A Domain-Specific Language for Verifying Software Requirement Constraints

Marzina Vidal, Tiago Massoni, Franklin Ramalho

Software requirement analysis can certainly benefit from prevention and early detection of failures, in particular by some kind of automatic analysis. Formal methods offer means to…