activity
20112020
most citedClause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas

106 citations · 106 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…