Property Specification Language is a historical programming language created in 2004.

15Years Old 1,020Users 0Jobs

Example code from Wikipedia:

((true[*]; req; ack)  |=> (start; data[*3]; end) @ clk
Edit

Last updated February 11th, 2019