1. Bücher
  2. Formalwissenschaft
  3. Computer
  4. Model Checking. Verifikatsija parallelnykh i raspredelennykh programmnykh sistem (+ CD-ROM)

Model Checking. Verifikatsija parallelnykh i raspredelennykh programmnykh sistem (+ CD-ROM)

Model Checking. Верификация параллельных и распределенных программных систем (+ CD-ROM)
Model Checking. Verifikatsija parallelnykh i raspredelennykh programmnykh sistem (+ CD-ROM)
Autor(en)
Sprache
Messungen
240/170 mm
Verleger
Herausgabejahr
Format
Seitenanzahl
552
ISBN
978-5-9775-0404-1
 
Ausverkauft
Benachrichtigen wenn verfügbar Auf meinen Merkzettel hinzufügen
В книге рассказывается о новых результатах в области верификация с помощью метода model checking и приводятся примеры приложений этого метода в самых разных областях. Рассматриваются проблема верификации, темпоральные логики, алгоритмы model checking для CTL и LTL, структуры Крипке как модели реагирующих систем, спецификация свойств реагирующих систем формулами темпоральной логики, бинарные решающие диаграммы, символьная верификация, количественный анализ систем и системы реального времени, а также применение фундаментальных идей алгоритма model checking в различных приложениях. На прилагаемом компакт-диске находятся: инструкция по установке системы верификации Spin, методическое пособие по этой системе и описание курсовой работы по верификации нетривиальной системы логическом управления с несколькими вариантами заданий.
V knige rasskazyvaetsja o novykh rezultatakh v oblasti verifikatsija s pomoschju metoda model checking i privodjatsja primery prilozhenij etogo metoda v samykh raznykh oblastjakh. Rassmatrivajutsja problema verifikatsii, temporalnye logiki, algoritmy model checking dlja CTL i LTL, struktury Kripke kak modeli reagirujuschikh sistem, spetsifikatsija svojstv reagirujuschikh sistem formulami temporalnoj logiki, binarnye reshajuschie diagrammy, simvolnaja verifikatsija, kolichestvennyj analiz sistem i sistemy realnogo vremeni, a takzhe primenenie fundamentalnykh idej algoritma model checking v razlichnykh prilozhenijakh. Na prilagaemom kompakt-diske nakhodjatsja: instruktsija po ustanovke sistemy verifikatsii Spin, metodicheskoe posobie po etoj sisteme i opisanie kursovoj raboty po verifikatsii netrivialnoj sistemy logicheskom upravlenija s neskolkimi variantami zadanij.
Kategorie
EAN
9785977504041
Bibliotheksbewertung BIC:
U
Ähnliche Artikel
  • Staroletov S.M.
    Herausgabejahr: 2020
    Gebunden
    63.00 €
    57.27 € Ohne MWSt
  • Kuzminov A.Ju.
    Herausgabejahr: 2021
    49.00 €
    44.55 € Ohne MWSt
  • L. S. Rassukovanyj
    Herausgabejahr: 2016
    Gebunden
    30.00 €
    27.27 € Ohne MWSt
  • Herausgabejahr: 2024
    Taschenbuch
    48.00 €
    43.64 € Ohne MWSt
  • Mosionzhnik Leonid Avraamovich
    Herausgabejahr: 2024
    Taschenbuch
    28.00 €
    25.45 € Ohne MWSt
  • Melnikov R. M.
    Herausgabejahr: 2024
    Taschenbuch
    60.00 €
    54.55 € Ohne MWSt
  • Bukovskij Vladimir Konstantinovich
    Herausgabejahr: 2024
    Gebunden
    18.00 €
    16.36 € Ohne MWSt
  • Herausgabejahr: 2024
    Taschenbuch
    8.00 €
    7.27 € Ohne MWSt
  • Lankov Andrej Nikolaevich
    Herausgabejahr: 2024
    Gebunden
    24.00 €
    21.82 € Ohne MWSt
  • Ivanov Aleksandr
    Herausgabejahr: 2024
    Gebunden
    42.00 €
    38.18 € Ohne MWSt