Software Verification and Validation - Segédanyagok

Félév: 2019. ősz
Title Egyedi szöveg
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
L13 (10.30): Equivalence checking between models
L14 (10.31): Verification of the source code
L15 (11.06): Proof of program correctness (part 1)
L16 (11.07): Proof of program correctness (part 2)
L17 (11.13) Software model checking
L18 (11.14) Software module testing
L19 (11.20) Code-based test generation
L20 (11.21) Integration testing, system testing, validation testing
L21 (11.27) Model-based testing (part 1)
L22 (11.28) Model based testing (part 2)
L23 (12.04): Verification during maintenance
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
Syndicate content