Software Verification and Validation - Segédanyagok

Félév: 2019. ősz
Title Egyedi szöveg
L01 (09.11.) Introduction
L02 (09.18.) Role of standards. Verification of the requirements.
L03 (09.19.) Verification of the architecture design
L04 (09.25): Verification of the detailed design
L05 (09.26): Formalization of properties using temporal logics. Checking HML properties.
L06 (10.02): Checking LTL properties
L07 (10.03): Checking CTL properties
L08 (10.09): Handling large state space in model checking
L09 (10.10): Model checking examples
L10 (10.16): Formal verification of time-dependent behavior
L11 (10.17) Formal verification of stochastic properties
L12 (10.24): Model checkers and applications
Félév: 2018. ősz
Title Egyedi szöveg
L01: Introduction
L02: Verification of the requirements specification
L03: Verification of the architecture design
L04: Verification of the detailed design
L05: Formalization of properties using temporal logics. Checking HML properties.
L06: Checking LTL properties
L07: Checking CTL properties
L08: Model checking examples
L09: Handling large state space in model checking
L10: Model checking time-dependent behavior
L11: Model checking stochastic properties
L12: Model checkers and applications
L13: Equivalence checking between models
Syndicate content