Diagramy decyzyjne i model checking CTL

Speaker(s)

Tadeusz Sznuk

Affiliation

Uniwersytet Warszawski

Date

April 4, 2011, 10:15 a.m.

Room

room 4790

Seminar

Seminar Semantics, Logic, Verification and its Applications

---

Zapewne nie wszystkie z poniższych tematów zdążę poruszyć, ale ogólny plan wygląda tak:
  * Diagramy decyzyjne (BDD):
      - Definicje, struktura
      - Operacje
      - Uwagi implementacyjne
      - Warianty
  * Model checking:
      - Definicje: modele, formuły itp.
      - Weryfikacja bezpośrednia
      - Weryfikacja symboliczna:
          - Za pomocą BDD
          - Za pomocą SAT-solvera.
      -  Zastosowania przy weryfikacji oprogramowania

---