106 citations · 106 across the 2 of their papers we have counts for
1 paper · 2 filters
Massimo Narizzano, Luca Pulina, Armando Tacchella +1
Property Specification Patterns (PSPs) have been proposed to solve recurring specification needs, to ease the formalization of requirements, and enable automated verification there…