Software Verification and Validation - Segédanyagok

Félév: 2020. ősz
Title Egyedi szöveg
L01 (09.09.) Introduction
L02 (09.10.) Role of standards. Verification of the requirements.
L03 (09.17.) Verification of the architecture design
L04 (09.24.) Verification of the detailed design
L05 (09.30.): Formalization of properties using temporal logics. Checking HML properties.
L06 (10.01.): Checking LTL properties
L07 (10.07.): Checking CTL properties
L08 (10.08.): Handling large state space in model checking
L09 (10.14.): Model checking examples
L10 (10.15.): Formal verification of time-dependent behavior
L11 (10.21.): Formal verification of stochastic properties
L12 (10.22.): Equivalence checking between models
L13 (10.28.): Verification of the source code
L14 (10.29.): Proof of program correctness (part 1)
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
Syndicate content