Bir belirtim dil özel yapıları ve, bazen, doğrulama protokolleri geliştirmek için kullanılan, analiz ve donanım ve yazılım gereksinimleri belgeleyin.