1. Libros
  2. Ciencias formales
  3. Informática
  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(s)
Idioma
Mediciones
240/170 mm
Año de publicación
Páginas
552
ISBN
978-5-9775-0404-1
 
Producto no disponible
Notificar cuando disponible Agregar a los favoritos
В книге рассказывается о новых результатах в области верификация с помощью метода 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.
Categoría
EAN
9785977504041
Clasificación de la biblioteca BIC:
U
Productos similares
  • Staroletov S.M.
    Año de publicación: 2020
    Tapa dura
    63.00 €
    57.27 € sin IVA
  • Kuzminov A.Ju.
    Año de publicación: 2021
    49.00 €
    44.55 € sin IVA
  • L. S. Rassukovanyj
    Año de publicación: 2016
    Tapa dura
    30.00 €
    27.27 € sin IVA
  • Año de publicación: 2024
    Encuadernación en rústica
    48.00 €
    43.64 € sin IVA
  • Mosionzhnik Leonid Avraamovich
    Año de publicación: 2024
    Encuadernación en rústica
    28.00 €
    25.45 € sin IVA
  • Melnikov R. M.
    Año de publicación: 2024
    Encuadernación en rústica
    60.00 €
    54.55 € sin IVA
  • Bukovskij Vladimir Konstantinovich
    Año de publicación: 2024
    Tapa dura
    18.00 €
    16.36 € sin IVA
  • Año de publicación: 2024
    Encuadernación en rústica
    8.00 €
    7.27 € sin IVA
  • Lankov Andrej Nikolaevich
    Año de publicación: 2024
    Tapa dura
    24.00 €
    21.82 € sin IVA
  • Ivanov Aleksandr
    Año de publicación: 2024
    Tapa dura
    42.00 €
    38.18 € sin IVA