WikiDer > Prototipni tekshirish tizimi - Vikipediya
The Prototipni tekshirish tizimi (PVS) a spetsifikatsiya tili qo'llab-quvvatlash vositalari bilan birlashtirilgan va avtomatlashtirilgan teorema proverKompyuter fanlari laboratoriyasida ishlab chiqilgan Xalqaro SRI yilda Menlo Park, Kaliforniya.
PVS kengaytmasidan iborat yadroga asoslangan Cherkovturlari nazariyasi qaram turlarva bu asosan klassik tiplangan yuqori darajadagi mantiqdir. Asosiy turlarga foydalanuvchi tomonidan kiritilishi mumkin bo'lgan talqin qilinmagan turlar va mantiqiy, butun sonlar, reallar va tartiblar singari o'rnatilgan turlari kiradi. Tip-konstruktorlarga funktsiyalar, to'plamlar, kataloglar, yozuvlar, sanoqlar va mavhum ma'lumotlar turlari kiradi. Cheklovlarni kiritish uchun taxminiy subtiplar va qaram turlardan foydalanish mumkin; ushbu cheklangan turlar matn terish paytida tasdiqlash majburiyatlarini (tipni to'g'rilash shartlari yoki TKK deb nomlangan) olishlari mumkin. PVS spetsifikatsiyalari parametrlangan nazariyalar bo'yicha tartibga solingan.
Tizim joriy etilgan Umumiy Lisp, va ostida chiqariladi GNU umumiy jamoat litsenziyasi (GPL).
Shuningdek qarang
Adabiyotlar
- Owre, Shankarva Rushbi, 1992. PVS: Prototipni tekshirish tizimi. Nashr etilgan SAPR 11 konferentsiya materiallari.
Tashqi havolalar
- PVS veb-sayti da Xalqaro SRIKompyuter fanlari laboratoriyasi
- PVSning qisqacha mazmuni tomonidan Jon Rushbi da Mexaniklashtirilgan fikrlash ma'lumotlar bazasi Maykl Kolxeyz va Kerolin Talkott
 | Bu dasturlash tilibilan bog'liq maqola a naycha. Siz Vikipediyaga yordam berishingiz mumkin uni kengaytirish. |
 | Bu mantiqbilan bog'liq maqola a naycha. Siz Vikipediyaga yordam berishingiz mumkin uni kengaytirish. |