Fismand
Joined 11 October 2013
Latest comment: 9 years ago by Wonderfl in topic PSL History section
PSL History section
editThanks for your contributions to the Property Specification Language article. But please stop moving the lead section into a new section called "History". Your statement, "PSL is a temporal logic" does not make grammatical sense. "is A temporal logic?". I'm not qualified in the field to know what you are trying to say, but the sentence does not make sense from an engineer's POV. I'm highly technical and I still cannot understand what you are trying to say. Consider rewording it. Do you mean to say PSL is a temporal logic language?