PSL is Dead. Long Live PSL

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…