Questions Columns Rows
GitHub icon

Property Specification Language

Property Specification Language - Programming language

< >

Property Specification Language is a programming language created in 2004.

#1184on PLDB 19Years Old

Property Specification Language (PSL) is a temporal logic extending Linear temporal logic with a range of operators for both ease of expression and enhancement of expressive power. PSL makes an extensive use of regular expressions and syntactic sugaring. It is widely used in the hardware design and verification industry, where formal verification tools (such as model checking) and/or logic simulation tools are used to prove or refute that a given PSL formula holds on a given design. Read more on Wikipedia...

Example from Wikipedia:
((true[*]; req; ack) |=> (start; data[*3]; end) @ clk

View source

- Build the next great programming language Search Add Language Features Creators Resources About Blog Acknowledgements Stats Sponsor Traffic Traffic Today Day 279 Logout