PSL (Property Specification Language)

E2000675 UNEXPLORED

PSL (Property Specification Language) is a formal language used in hardware and system design to specify and verify temporal properties and behaviors of digital circuits.

Try in SPARQL Jump to: Surface forms Referenced by

All labels observed (1)

Label	Occurrences
PSL (Property Specification Language) canonical	1

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.

LTL → usedInStandard → PSL (Property Specification Language) ⓘ