Fault Tolerant Systems Research Group
Department of Measurement and Information Systems
Primary Links
Home
Events
Education
Critical Embedded Systems
System Modelling
Software and Systems Verification
Formal Methods
Software Verification and Validation
News
Materials
Research
Research Directions
Application Areas
Projects
Tools
Publications
Authors
Keywords
About Us
Members
Location
Partners and Sponsors
Search this site:
Software Verification and Validation - Segédanyagok
Félév: 2018. ősz
Title
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
Title
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
« first
‹ previous
1
2
3
4
next ›
last »
Education
Critical Embedded Systems
System Modelling
Software and Systems Verification
Formal Methods
Software Verification and Validation
News
Materials
Languages
BME EduID Sign on
Login
User login
Username:
*
Password:
*
Leírások
Submitting homework and lab assignments
IT Services
Egyéb leírások
Navigation
Conference materials