/VeHa-2023-HYPE

Main repository of Team HYPE🀟 in VeHa-2023 contest (Sergey Melnikov, Elina Kuzmichyova, Maxim Fomin)

Primary LanguagePromela

VeHaContest2023

ΠšΠΎΠ½Ρ‚Π΅ΡΡ‚ VeHa 2023 β€” ΠΏΠ΅Ρ€Π²Ρ‹ΠΉ российский студСнчСский ΠΎΠ½Π»Π°ΠΉΠ½ сорСвнованиС ΠΏΠΎ Π²Π΅Ρ€ΠΈΡ„ΠΈΠΊΠ°Ρ†ΠΈΠΈ ΠΌΠΎΠ΄Π΅Π»Π΅ΠΉ ΠΈ Π΄Π΅Π΄ΡƒΠΊΡ‚ΠΈΠ²Π½ΠΎΠΉ Π²Π΅Ρ€ΠΈΡ„ΠΈΠΊΠ°Ρ†ΠΈΠΈ ΠΏΡ€ΠΎΠ³Ρ€Π°ΠΌΠΌ https://sites.google.com/view/veha23/

О Ρ€Π΅ΠΏΠΎΠ·ΠΈΡ‚ΠΎΡ€ΠΈΠΈ

  • Π Π΅ΠΏΠΎΠ·ΠΈΡ‚ΠΎΡ€ΠΈΠΉ содСрТит Π΄Π²Π΅ ΠΌΠΎΠ΄Π΅Π»ΠΈ написанныС Π½Π° языкС Promela:
    • Одна модСль содСрТит ΠΎΡˆΠΈΠ±ΠΊΡƒ ΠΈ Π½Π΅ ΠΌΠΎΠΆΠ΅Ρ‚ ΠΏΡ€ΠΎΠΉΡ‚ΠΈ Π²Π΅Ρ€ΠΈΡ„ΠΈΠΊΠ°Ρ†ΠΈΡŽ,ΠΊ ΠΌΠΎΠ΄Π΅Π»ΠΈ ΠΏΡ€ΠΈΠ»ΠΎΠΆΠ΅Π½ trail ΠΎΡˆΠΈΠ±ΠΎΡ‡Π½ΠΎΠ³ΠΎ случая.
    • Вторая модСль содСрТит исправлСния ΠΈ ΠΌΠΎΠΆΠ΅Ρ‚ Π±Ρ‹Ρ‚ΡŒ ΠΏΠΎΠ»Π½ΠΎΡΡ‚ΡŒΡŽ Π²Π΅Ρ€ΠΈΡ„ΠΈΡ†ΠΈΡ€ΠΎΠ²Π°Π½Π½Π°.
  • Π’Π°ΠΊΠΆΠ΅ присутсвуСт прСзСнтация ΠΊΠΎΠΌΠ°Π½Π΄Π½ΠΎΠ³ΠΎ Ρ€Π΅ΡˆΠ΅Π½ΠΈΡ Π½Π° основС ΠΏΡ€ΠΎΠ²Π΅Π΄Π΅Π½Π½ΠΎΠ³ΠΎ ислСдования ΠΏΠΎ поиску Π²ΠΎΠ·ΠΌΠΎΠΆΠ½Ρ‹Ρ… ΠΏΡ€ΠΈΡ‡ΠΈΠ½ ΠΏΠΎΠ»ΠΎΠΌΠΊΠΈ космичСских Π°ΠΏΠΏΠ°Ρ€Π°Ρ‚ΠΎΠ² ΠΈ прСдставлСнныС измСнСния Π² ΠΌΠΎΠ΄Π΅Π»ΠΈ ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Π΅ ΠΏΠΎΠ·Π²ΠΎΠ»ΠΈΠ»ΠΈ Π΅ΠΉ ΠΏΡ€ΠΎΡ…ΠΎΠ΄ΠΈΡ‚ΡŒ Π²Π΅Ρ€ΠΈΡ„ΠΈΠΊΠ°ΠΈΡ†ΡŽ.

Π Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚Ρ‹ участия:

Команда Π½Π°Π³Ρ€Π°ΠΆΠ΄Π΅Π½Π° ΠΏΠΎΡ‡Π΅Ρ‚Π½ΠΎΠΉ Π³Ρ€Π°ΠΌΠΎΡ‚ΠΎΠΉ Π·Π° прСдставлСнноС ΠΎΡ€ΠΈΠ³ΠΈΠ½Π°Π»ΡŒΠ½ΠΎΠ΅ Ρ€Π΅ΡˆΠ΅Π½ΠΈΠ΅ Π·Π°Π΄Π°Ρ‡ΠΈ ΠΏΠΎ Π²Π΅Ρ€ΠΈΡ„ΠΈΠΊΠ°Ρ†ΠΈΠΈ ΠΌΠΎΠ΄Π΅Π»ΠΈ написанноС Π½Π° языкС Promela Π‘Π»Π°ΠΉΠ΄19 Π‘Π»Π°ΠΉΠ΄21 Π‘Π»Π°ΠΉΠ΄20