معرفی شرکت ها
why3-examples_1.5.1-1_all.deb
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
Examples for the why3 verification platform
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Debian Bookworm-12 |
| مخزن | Debian main all |
| نام بسته | why3-examples |
| نام فایل بسته | why3-examples_1.5.1-1_all.deb |
| نسخه بسته | 1.5.1 |
| انتشار بسته | 1 |
| معماری بسته | all |
| نگهدارنده | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| تاریخ ساخت | - |
| هاست سازنده | - |
| نوع بسته | .deb |
| آدرس صفحه اصلی | http://why3.lri.fr/ |
| مجوز | - |
| حجم دانلود | 3932100 |
| حجم نصب | 20006 |
This package contains examples, both of program verification tasks
and pure logical verification tasks, for the why3 software verification
platform.
نیازمندی
| مقدار | نام |
|---|---|
| >= 6.13 | tex-common |
نحوه نصب
نصب پکیج deb why3-examples:
sudo apt-get install why3-examples_1.5.1-1_all.deb
فایل ها
| مسیرها |
|---|
| ./usr/share/doc/why3-examples/NEWS.Debian.gz |
| ./usr/share/doc/why3-examples/changelog.Debian.gz |
| ./usr/share/doc/why3-examples/changelog.gz |
| ./usr/share/doc/why3-examples/copyright |
| ./usr/share/doc/why3-examples/examples/TODO |
| ./usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5/blocking_semantics5_HoareLogic_while_rule_1.v |
| ./usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5/blocking_semantics5_SemOp_steps_non_neg_1.v |
| ./usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5/blocking_semantics5_TypingAndSemantics_eval_type_term_1.v |
| ./usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5/blocking_semantics5_WP_distrib_conj_3.v |
| ./usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5/blocking_semantics5_WP_monotonicity_3.v |
| ./usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5/blocking_semantics5_WP_progress_1.v |
| ./usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5/blocking_semantics5_WP_progress_3.v |
| ./usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5/blocking_semantics5_WP_progress_5.v |
| ./usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5/blocking_semantics5_WP_wp_soundness_1.v |
| ./usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5/why3session.xml |
| ./usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5/why3shapes.gz |
| ./usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5.mlw |
| ./usr/share/doc/why3-examples/examples/WP_revisited/formula/why3session.xml |
| ./usr/share/doc/why3-examples/examples/WP_revisited/formula/why3shapes.gz |
| ./usr/share/doc/why3-examples/examples/WP_revisited/formula.why |
| ./usr/share/doc/why3-examples/examples/WP_revisited/imp_n/imp_n_Imp_eval_subst_1.v |
| ./usr/share/doc/why3-examples/examples/WP_revisited/imp_n/imp_n_Imp_if_rule_1.v |
| ./usr/share/doc/why3-examples/examples/WP_revisited/imp_n/imp_n_Imp_many_steps_seq_1.v |
| ./usr/share/doc/why3-examples/examples/WP_revisited/imp_n/imp_n_Imp_progress_1.v |
| ./usr/share/doc/why3-examples/examples/WP_revisited/imp_n/imp_n_Imp_steps_non_neg_1.v |
| ./usr/share/doc/why3-examples/examples/WP_revisited/imp_n/imp_n_Imp_while_rule_1.v |
| ./usr/share/doc/why3-examples/examples/WP_revisited/imp_n/why3session.xml |
| ./usr/share/doc/why3-examples/examples/WP_revisited/imp_n/why3shapes.gz |
| ./usr/share/doc/why3-examples/examples/WP_revisited/imp_n.why |
| ./usr/share/doc/why3-examples/examples/WP_revisited/wp2/why3session.xml |
| ./usr/share/doc/why3-examples/examples/WP_revisited/wp2/why3shapes.gz |
| ./usr/share/doc/why3-examples/examples/WP_revisited/wp2/wp2_HoareLogic_if_rule_1.v |
| ./usr/share/doc/why3-examples/examples/WP_revisited/wp2/wp2_HoareLogic_while_rule_1.v |
| ./usr/share/doc/why3-examples/examples/WP_revisited/wp2/wp2_HoareLogic_while_rule_ext_1.v |
| ./usr/share/doc/why3-examples/examples/WP_revisited/wp2/wp2_Imp_eval_change_free_1.v |
| ./usr/share/doc/why3-examples/examples/WP_revisited/wp2/wp2_Imp_many_steps_seq_1.v |
| ./usr/share/doc/why3-examples/examples/WP_revisited/wp2/wp2_WP_VC_compute_writes_2.v |
| ./usr/share/doc/why3-examples/examples/WP_revisited/wp2/wp2_WP_VC_wp_1.v |
| ./usr/share/doc/why3-examples/examples/WP_revisited/wp2.mlw |
| ./usr/share/doc/why3-examples/examples/add_list/why3session.xml |
| ./usr/share/doc/why3-examples/examples/add_list/why3shapes.gz |
| ./usr/share/doc/why3-examples/examples/add_list.mlw |
| ./usr/share/doc/why3-examples/examples/add_list_vc_sp/why3session.xml |
| ./usr/share/doc/why3-examples/examples/add_list_vc_sp/why3shapes.gz |
| ./usr/share/doc/why3-examples/examples/add_list_vc_sp.mlw |
| ./usr/share/doc/why3-examples/examples/algo63/why3session.xml |
| ./usr/share/doc/why3-examples/examples/algo63/why3shapes.gz |
| ./usr/share/doc/why3-examples/examples/algo63.mlw |
| ./usr/share/doc/why3-examples/examples/algo64/why3session.xml |
| ./usr/share/doc/why3-examples/examples/algo64/why3shapes.gz |
| ... and 1484 more |