معرفی شرکت ها

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

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

توضیحات

RV: Runtime Verification

ویژگی	مقدار
سیستم عامل	Linux
توزیع	CentOS 8-stream
مخزن	Centos hyperscale x86_64
نام بسته	rv
نام فایل بسته	rv-6.3.3-200.3.hs+fb.el8.x86_64.rpm
نسخه بسته	6.3.3
انتشار بسته	200.3.hs+fb.el8
معماری بسته	x86_64
نگهدارنده	-
تاریخ ساخت	Fri 07 Jul 2023 07
هاست سازنده	kojid-x86-02.rdu2.centos.org
نوع بسته	.rpm
آدرس صفحه اصلی	http://www.kernel.org/
مجوز	GPLv2
حجم دانلود	27K
حجم نصب	24.132K

Runtime Verification (RV) is a lightweight (yet rigorous) method that complements classical exhaustive verification techniques (such as model checking and theorem proving) with a more practical approach for complex systems. The rv tool is the interface for a collection of monitors that aim analysing the logical and timing behavior of Linux.

جایگزین ها

بسته	نسخه	معماری	مخزن
rv-6.3.3-200.1.hs.el8.aarch64.rpm	6.3.3	aarch64	CentOS hyperscale
rv-6.3.3-200.1.hs.el8.x86_64.rpm	6.3.3	x86_64	CentOS hyperscale
rv-6.3.3-200.2.hs.el8.aarch64.rpm	6.3.3	aarch64	CentOS hyperscale
rv-6.3.3-200.2.hs.el8.x86_64.rpm	6.3.3	x86_64	CentOS hyperscale
rv-6.3.3-200.3.hs+fb.el8.aarch64.rpm	6.3.3	aarch64	CentOS hyperscale
rv-6.3.3-200.3.hs.el8.aarch64.rpm	6.3.3	aarch64	CentOS hyperscale
rv-6.3.3-200.3.hs.el8.x86_64.rpm	6.3.3	x86_64	CentOS hyperscale
rv-6.4.13-200.1.hs+fb.el8.aarch64.rpm	6.4.13	aarch64	CentOS hyperscale
rv-6.4.13-200.1.hs+fb.el8.x86_64.rpm	6.4.13	x86_64	CentOS hyperscale
rv-6.4.13-200.1.hs.el8.aarch64.rpm	6.4.13	aarch64	CentOS hyperscale
rv-6.4.13-200.1.hs.el8.x86_64.rpm	6.4.13	x86_64	CentOS hyperscale

نیازمندی

مقدار	نام
-	libc.so.6()(64bit)
-	libc.so.6(GLIBC_2.2.5)(64bit)
-	libc.so.6(GLIBC_2.3.4)(64bit)
-	libc.so.6(GLIBC_2.4)(64bit)
-	libtraceevent.so.1()(64bit)
-	libtracefs.so.1()(64bit)
-	rtld(GNU_HASH)

ارائه دهنده

مقدار	نام
= 6.3.3-200.3.hs+fb.el8	rv
= 6.3.3-200.3.hs+fb.el8	rv(x86-64)

نحوه نصب

نصب پکیج rpm rv:

sudo dnf install rv-6.3.3-200.3.hs+fb.el8.x86_64.rpm

فایل ها

مسیرها
/usr/bin/rv
/usr/lib/.build-id
/usr/lib/.build-id/67
/usr/lib/.build-id/67/33420da0285c55e21aed8eda47a80b4732411e
/usr/share/man/man1/rv-list.1.gz
/usr/share/man/man1/rv-mon-wip.1.gz
/usr/share/man/man1/rv-mon-wwnr.1.gz
/usr/share/man/man1/rv-mon.1.gz

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

تاریخ آخرین تغییر	جزئیات
2023-07-07	Reenable Perl support for hs builds, only disable on hs+fb
2023-06-29	Disable Perl support by default to avoid modularity issues on hs.el8
2023-06-28	Initial Hyperscale SIG package
2023-05-17	Linux v6.3.3
2023-03-13	Linux v6.2.6
2023-02-20	Linux v6.2.0
2023-02-13	Linux v6.2-rc8
2023-01-19	Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
2022-12-12	Linux v6.1.0
2022-12-05	Linux v6.1-rc8
2022-11-28	Linux v6.1-rc7
2022-11-21	Linux v6.1-rc6
2022-11-14	Linux v6.1-rc5
2022-11-11	Bump for libbpf-1.0 build
2022-11-07	Linux v6.1-rc4
2022-11-02	Linux v6.1-rc3