معرفی شرکت ها

تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

دانلود نسخه باینری دانلود نسخه سورس

توضیحات

Interactive theorem prover from SRI

ویژگی	مقدار
سیستم عامل	Linux
توزیع	Fedora 37
مخزن	Fedora Everything x86_64
نام بسته	pvs-sbcl
نام فایل بسته	pvs-sbcl-7.1-8.fc37.x86_64.rpm
نسخه بسته	7.1
انتشار بسته	8.fc37
معماری بسته	x86_64
نگهدارنده	-
تاریخ ساخت	Tue 02 Aug 2022 12
هاست سازنده	buildhw-x86-04.iad2.fedoraproject.org
نوع بسته	.rpm
آدرس صفحه اصلی	https://pvs.csl.sri.com/
مجوز	GPLv2+ and BSD and Public Domain
حجم دانلود	30M
حجم نصب	170.365M

PVS is a verification system: that is, a specification language integrated with support tools and a theorem prover. It is intended to capture the state-of-the-art in mechanized formal methods and to be sufficiently rugged that it can be used for significant applications. This build of PVS must be invoked as "pvs-sbcl", both to distinguish it from builds with other Common Lisp engines, and to distinguish it from /usr/sbin/pvs in the lvm2 package.

جایگزین ها

بسته	نسخه	معماری	مخزن
pvs-sbcl-7.1-8.fc37.src.rpm	7.1	x86_64	Fedora Everything
pvs-sbcl-debuginfo-7.1-8.fc37.x86_64.rpm	7.1	x86_64	Fedora Everything
pvs-sbcl-debugsource-7.1-8.fc37.x86_64.rpm	7.1	x86_64	Fedora Everything

نیازمندی

مقدار	نام
-	/usr/bin/perl
-	/usr/bin/sh
-	libc.so.6()(64bit)
-	libc.so.6(GLIBC_2.11)(64bit)
-	libc.so.6(GLIBC_2.14)(64bit)
-	libc.so.6(GLIBC_2.2.5)(64bit)
-	libc.so.6(GLIBC_2.28)(64bit)
-	libc.so.6(GLIBC_2.3)(64bit)
-	libc.so.6(GLIBC_2.3.4)(64bit)
-	libc.so.6(GLIBC_2.32)(64bit)
-	libc.so.6(GLIBC_2.33)(64bit)
-	libc.so.6(GLIBC_2.34)(64bit)
-	libc.so.6(GLIBC_2.4)(64bit)
-	libc.so.6(GLIBC_2.7)(64bit)
-	libm.so.6()(64bit)
-	libm.so.6(GLIBC_2.2.5)(64bit)
-	libm.so.6(GLIBC_2.29)(64bit)
-	libm.so.6(GLIBC_2.35)(64bit)
-	libmonabdd.so.1()(64bit)
-	libz.so.1()(64bit)
-	perl(Cwd)
-	perl(File::Basename)
-	perl(Getopt::Long)
-	perl(Term::ANSIColor)
-	rtld(GNU_HASH)
= 2.0.1-8.fc36	sbcl
-	tex(latex)
-	tk
-	yices-tools

ارائه دهنده

مقدار	نام
-	application()
-	application(pvs-sbcl.desktop)
-	mimehandler(application/x-pvs)
= 7.1-8.fc37	pvs
= 7.1-8.fc37	pvs-sbcl
= 7.1-8.fc37	pvs-sbcl(x86-64)
= 7.1-8.fc37	pvsio

نحوه نصب

نصب پکیج rpm pvs-sbcl:

dnf install pvs-sbcl-7.1-8.fc37.x86_64.rpm

فایل ها

مسیرها
/usr/bin/proveit
/usr/bin/provethem
/usr/bin/pvs-sbcl
/usr/bin/pvsio
/usr/lib/.build-id
/usr/lib/.build-id/69
/usr/lib/.build-id/69/d64617e248dcb4d7ee8fd841d1d8b3278179eb
/usr/lib/.build-id/78
/usr/lib/.build-id/78/f184851f54f92df1bd390e38c542c98004b78b
/usr/lib/.build-id/7e
/usr/lib/.build-id/7e/a566bff348e8a99c1e4806662069a587adf92e
/usr/lib/.build-id/89
/usr/lib/.build-id/89/c34427ece0c9e239f3c7193f749acdee930bb5
/usr/lib64/pvs
/usr/lib64/pvs/bin
/usr/lib64/pvs/bin/ix86_64-Linux
/usr/lib64/pvs/bin/ix86_64-Linux/b64
/usr/lib64/pvs/bin/ix86_64-Linux/runtime
/usr/lib64/pvs/bin/ix86_64-Linux/runtime/bdd-sbcl.fasl
/usr/lib64/pvs/bin/ix86_64-Linux/runtime/bdd-sbcl.lisp
/usr/lib64/pvs/bin/ix86_64-Linux/runtime/dfa-foreign-sbcl.fasl
/usr/lib64/pvs/bin/ix86_64-Linux/runtime/dfa-foreign-sbcl.lisp
/usr/lib64/pvs/bin/ix86_64-Linux/runtime/mu-sbcl.fasl
/usr/lib64/pvs/bin/ix86_64-Linux/runtime/mu-sbcl.lisp
/usr/lib64/pvs/bin/ix86_64-Linux/runtime/mu.so
/usr/lib64/pvs/bin/ix86_64-Linux/runtime/pvs-sbclisp
/usr/lib64/pvs/bin/ix86_64-Linux/runtime/sbcl
/usr/lib64/pvs/bin/ix86_64-Linux/runtime/ws1s.so
/usr/lib64/pvs/bin/ix86_64-Linux/yices2
/usr/lib64/pvs/bin/pvs-platform
/usr/lib64/pvs/bin/tar-b64-mail
/usr/lib64/pvs/bin/tarmail
/usr/lib64/pvs/bin/untarmail
/usr/lib64/pvs/doc
/usr/lib64/pvs/doc/release-notes
/usr/lib64/pvs/doc/release-notes/pvs-release-notes.info
/usr/lib64/pvs/emacs
/usr/lib64/pvs/emacs/README
/usr/lib64/pvs/emacs/configured-for-x
/usr/lib64/pvs/emacs/go-pvs.el
/usr/lib64/pvs/emacs/ilisp
/usr/lib64/pvs/emacs/ilisp/ACKNOWLEDGMENTS
/usr/lib64/pvs/emacs/ilisp/COPYING
/usr/lib64/pvs/emacs/ilisp/HISTORY
/usr/lib64/pvs/emacs/ilisp/comint-ipc.el
/usr/lib64/pvs/emacs/ilisp/comint-ipc.elc
/usr/lib64/pvs/emacs/ilisp/completer.el
/usr/lib64/pvs/emacs/ilisp/completer.elc
/usr/lib64/pvs/emacs/ilisp/docs
/usr/lib64/pvs/emacs/ilisp/docs/ilisp.texi
... and 628 more

گزارش تغییرات

تاریخ آخرین تغییر	جزئیات
2022-08-01	Add -emacs patch for Emacs 28 compatibility Limit builds to x86_64
2022-07-22	Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
2022-01-26	Rebuild to fix sbcl dependency
2022-01-21	Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
2021-07-23	Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
2021-06-03	Add -language patch to work around possible TeXLive 2021 bug BR ghostscript instead of ghostscript-core
2021-02-04	Rebuild to fix sbcl dependency Add MIME type for pvs source files
2021-01-27	Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
2020-12-02	Version 7.1 Drop upstreamed -siglongjmp, -fno-common, -texi, and -user-guide patches Add -api patch to fix API doc build
2020-08-21	Update to latest git snapshot for bug fixes Drop upstreamed -language-manual and -language-manual-latex patches