1 paper
Kevin Smith, Hai Lin, Praveen Tiwari +2
Property Specification Language (PSL) is a form of temporal logic that has been mainly used in discrete domains (e.g. formal hardware verification). In this paper, we show that by…