Home›Browse›Property Specification Language🌐EnglishEnglishDeutschFrançaisPolski日本語EntityQ751505· pop 6· linked from 247 articlesProperty Specification LanguageSign in to savestandardized temporal logic extending linear temporal logic for practical useAvailable in 6 languagesFrançaisDeutsch日本語CatalanPolskivia Wikidata sitelinks · CC0