| |||
язык описания свойств (язык формальной проверки, который разрабатывался специально для максимально эффективного описания утверждений и свойств. PSL отличается широкими возможностями для создания сложных регулярных и временных выражений, и позволяет описывать сложные поведенческие аспекты с помощью нескольких строк кода. Этот язык представляет собой промышленный стандарт, контролируемый компанией Accellera, основан на языке Sugar компании IBM ssn) | |||
English thesaurus | |||
| |||
PSL (ssn) |