Talk:Property Specification Language

Latest comment: 8 years ago by Wonderfl in topic History section

History section

edit

Please stop moving the lead section into a new section called "History". Your statement, "PSL is a temporal logic" does not seem to 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.

Wonderfl (reply) 09:59, 4 August 2015 (UTC)Reply