Software Verification and Validation - Segédanyagok

Félév: 2018. ősz
Cím	Egyedi szöveg
L08: Model checking examples	Model checking examples Modeling the Meltdown vulnerability Example models (ZIP)
L09: Handling large state space in model checking	Symbolic model checking Bounded model checking
L10: Model checking time-dependent behavior	Model checking time-dependent behavior
L11: Model checking stochastic properties	Model checking stochastic properties
L12: Model checkers and applications	Model checkers: SPIN and NuSMV Case study: Model checking PLC programs at CERN
L13: Equivalence checking between models	Equivalence checking between models
L14: Verification of the source code	Verification of the source code
L15: Proof of program correctness	Proof of program correctness
L16: Software model checking with abstraction	Software model checking with abstraction
L17: Module testing	Module testing
L18: Integration testing, system testing, validation testing	Integration testing, system testing, validation testing
L19: Model-based testing	Model-based testing
L20 Code-based test generation	Code-based test generation
L21 Verification during maintenance	Verification during maintenance

Félév: 2017. ősz
Cím	Egyedi szöveg
L01: Introduction	Course overview Introduction to software V&V
L02: Verification of the requirements specification	Verification of the requirements specification
L03: Verification of the architecture design	Verification of the architecture design
L04: Verification of the detailed design	Verification of the detailed design
L05: Checking HML and LTL properties	Checking HML and LTL properties
L06: Checking CTL properties	Checking CTL properties
L07: CTL model checking examples	CTL model checking examples
L08: Symbolic model checking and ROBDDs. Bounded model checking.	Symbolic model checking and ROBDDs Bounded model checking
L09: Model checking stochastic properties	Model checking stochastic properties
L10: Model checking time-dependent behavior	Model checking time-dependent behavior
L11: Equivalence checking between models	Equivalence checking between models

Elsődleges linkek