معرفی شرکت ها
why3-examples_0.88.3-1ubuntu4_all.deb
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
Examples for the why3 verification platform
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Ubuntu Bionic-18.04 |
| مخزن | Ubuntu universe all |
| نام بسته | why3-examples |
| نام فایل بسته | why3-examples_0.88.3-1ubuntu4_all.deb |
| نسخه بسته | 0.88.3 |
| انتشار بسته | 1ubuntu4 |
| معماری بسته | all |
| نگهدارنده | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| تاریخ ساخت | - |
| هاست سازنده | - |
| نوع بسته | .deb |
| آدرس صفحه اصلی | http://why3.lri.fr/ |
| مجوز | - |
| حجم دانلود | 1616868 |
| حجم نصب | 2940 |
This package contains examples, both of program verification tasks
and pure logical verification tasks, for the why3 software verification
platform.
نیازمندی
| مقدار | نام |
|---|---|
| >= 6 | tex-common |
نحوه نصب
نصب پکیج deb why3-examples:
sudo apt-get install why3-examples_0.88.3-1ubuntu4_all.deb
فایل ها
| مسیرها |
|---|
| ./usr/share/doc/why3-examples/changelog.Debian.gz |
| ./usr/share/doc/why3-examples/copyright |
| ./usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5/blocking_semantics5_FreshVariables_eval_change_free_4.v.gz |
| ./usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5/blocking_semantics5_FreshVariables_eval_msubst_2.v.gz |
| ./usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5/blocking_semantics5_FreshVariables_eval_swap_3.v.gz |
| ./usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5/blocking_semantics5_FreshVariables_eval_swap_term_1.v.gz |
| ./usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5/blocking_semantics5_HoareLogic_assert_rule_1.v.gz |
| ./usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5/blocking_semantics5_HoareLogic_assert_rule_ext_1.v.gz |
| ./usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5/blocking_semantics5_HoareLogic_assign_rule_1.v.gz |
| ./usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5/blocking_semantics5_HoareLogic_if_rule_1.v.gz |
| ./usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5/blocking_semantics5_HoareLogic_many_steps_seq_1.v.gz |
| ./usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5/blocking_semantics5_HoareLogic_skip_rule_1.v.gz |
| ./usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5/blocking_semantics5_HoareLogic_while_rule_1.v.gz |
| ./usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5/blocking_semantics5_SemOp_steps_non_neg_1.v.gz |
| ./usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5/blocking_semantics5_TestSemantics_If42_1.v.gz |
| ./usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5/blocking_semantics5_TypingAndSemantics_eval_type_term_1.v.gz |
| ./usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5/blocking_semantics5_TypingAndSemantics_type_preservation_1.v.gz |
| ./usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5/blocking_semantics5_WP_distrib_conj_2.v.gz |
| ./usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5/blocking_semantics5_WP_distrib_conj_3.v.gz |
| ./usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5/blocking_semantics5_WP_monotonicity_1.v.gz |
| ./usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5/blocking_semantics5_WP_monotonicity_3.v.gz |
| ./usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5/blocking_semantics5_WP_progress_1.v.gz |
| ./usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5/blocking_semantics5_WP_progress_2.v.gz |
| ./usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5/blocking_semantics5_WP_progress_3.v.gz |
| ./usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5/blocking_semantics5_WP_progress_5.v.gz |
| ./usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5/blocking_semantics5_WP_wp_preserved_by_reduction_4.v.gz |
| ./usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5/blocking_semantics5_WP_wp_soundness_1.v.gz |
| ./usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5/why3session.xml.gz |
| ./usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5/why3shapes.gz |
| ./usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5.mlw.gz |
| ./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_assign_rule_1.v.gz |
| ./usr/share/doc/why3-examples/examples/WP_revisited/imp_n/imp_n_Imp_eval_subst_1.v.gz |
| ./usr/share/doc/why3-examples/examples/WP_revisited/imp_n/imp_n_Imp_eval_subst_expr_1.v.gz |
| ./usr/share/doc/why3-examples/examples/WP_revisited/imp_n/imp_n_Imp_if_rule_1.v.gz |
| ./usr/share/doc/why3-examples/examples/WP_revisited/imp_n/imp_n_Imp_many_steps_seq_1.v.gz |
| ./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_seq_rule_1.v.gz |
| ./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.gz |
| ./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.gz |
| ./usr/share/doc/why3-examples/examples/WP_revisited/wp2/why3session.xml.gz |
| ./usr/share/doc/why3-examples/examples/WP_revisited/wp2/why3shapes.gz |
| ./usr/share/doc/why3-examples/examples/WP_revisited/wp2/wp2_HoareLogic_assert_rule_1.v.gz |
| ./usr/share/doc/why3-examples/examples/WP_revisited/wp2/wp2_HoareLogic_assert_rule_ext_1.v.gz |
| ./usr/share/doc/why3-examples/examples/WP_revisited/wp2/wp2_HoareLogic_assign_rule_1.v.gz |
| ... and 984 more |