activity
20172020
most citedConsistency Checking of Functional Requirements

1 citations · 1 across the 2 of their papers we have counts for

collaborators
Showing 2017Show all

1 paper · 1 filter

cs.LO2017

Consistency of Property Specification Patterns with Boolean and Constrained Numerical Signals

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…