Jump to content

Talk:Property Specification Language

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

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]