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