Details

Software Verification and Testing

Original title in Czech: Verifikace a testování softwareFITAbbreviation: NVERAcad. year: 2024/2025

Programme: Information Technology and Artificial Intelligence

Guarantor

Course structure diagram with ECTS credits

1. year of study, winter semester
Abbreviation	Title	L.	Cr.	Com.	Compl.	Hr. range	Gr.	Op.
MSP	Statistics and Probability	cs	6	Compulsory	Cr,Ex	P - 26 / S - 4 / COZ - 23 / PR - 16		yes
TIN	Theoretical Computer Science	cs	7	Compulsory	Cr,Ex	P - 39 / S - 12 / COZ - 14 / PR - 13		yes

1. year of study, summer semester
Abbreviation	Title	L.	Cr.	Com.	Compl.	Hr. range	Gr.	Op.
FLP	Functional and Logic Programming	cs	5	Compulsory	Cr,Ex	P - 26 / Cp - 12 / PR - 14		yes
PRL	Parallel and Distributed Algorithms	cs	5	Compulsory	Cr,Ex	P - 39 / PR - 13		yes

2. year of study, winter semester
Abbreviation	Title	L.	Cr.	Com.	Compl.	Hr. range	Gr.	Op.
SEP	Semester Project	cs, en	5	Compulsory	GCr	PR - 65		yes
PP2	Project Practice 2	cs	5	Elective	GCr	PR - 52		yes

2. year of study, summer semester
Abbreviation	Title	L.	Cr.	Com.	Compl.	Hr. range	Gr.	Op.
DIP	Master's Thesis	cs, en	13	Compulsory	Cr	PR - 169		yes

Any year of study, winter semester
Abbreviation	Title	L.	Cr.	Com.	Compl.	Hr. range	Op.
AVS	Computation Systems Architectures	cs	5	Compulsory	Cr,Ex	P - 26 / Cp - 12 / PR - 14	yes
BIS	Information System Security	cs	5	Compulsory	Cr,Ex	P - 39 / PR - 13	yes
SAV	Static Analysis and Verification	cs	5	Compulsory	Cr,Ex	P - 39 / PR - 13	yes
UPA	Data Storage and Preparation	cs	5	Compulsory	Cr,Ex	P - 26 / S - 6 / Cp - 6 / PR - 14	yes
SUI	Artificial Intelligence and Machine Learning	cs	5	Compulsory	Ex	P - 26 / S - 13 / PR - 13	yes
AGS	Agents and Multiagent Systems	cs	5	Elective	Ex	P - 26 / Cp - 13 / PR - 13	yes
AIS	Information Systems Analysis and Design	cs	5	Elective	Cr,Ex	P - 39 / PR - 13	yes
JA3	Conversation through Hot Current Issues	cs, en	3	Elective	Cr,Ex	Cj - 26	yes
AEU	English for Europe	cs, en	3	Elective	Cr,Ex	Cj - 26	yes
BAYa	Bayesian Models for Machine Learning (in English)	en	5	Elective	Ex	P - 26 / S - 13 / PR - 13	yes
BMS	Wireless and Mobile Networks	cs	5	Elective	Cr,Ex	P - 39 / PR - 13	yes
SCO	Secure Coding	cs	5	Elective	Cr,Ex	P - 26 / PR - 26	yes
BIO	Biometric Systems	cs, en	5	Elective	Cr,Ex	P - 39 / L - 6 / PR - 7	yes
BRIa	Brain Computer Interface	en	5	Elective	Ex	P - 26 / L - 8 / PR - 18	yes
CZSa	Digital Signal Processing (in English)	en	5	Elective	Ex	P - 26 / COZ - 13 / PR - 13	yes
FIT	History and Philosophy of Technology	cs	2	Elective	GCr	P - 26	yes
EIP	Economics of Information Products	cs	5	Elective	Ex	P - 26 / COZ - 6 / Cp - 12 / PR - 8	no
FIK	Philosophy and the Culture	cs	2	Elective	Cr	COZ - 26	yes
GZN	Graphical and Sound Interfaces and Standards	cs	5	Elective	Ex	P - 26 / Cp - 12 / PR - 14	yes
GJA	Graphical User Interfaces in Java	cs, en	5	Elective	Cr,Ex	P - 26 / PR - 26	yes
GUX	Graphical User Interfaces in X Window System	cs	5	Elective	Ex	P - 26 / PR - 26	yes
GAL	Graph Algorithms	cs, en	5	Elective	Ex	P - 39 / PR - 13	yes
HSC	Hardware/Software Codesign	cs, en	5	Elective	Cr,Ex	P - 39 / PR - 13	yes
SIN	Intelligent Systems	cs	5	Elective	Ex	P - 26 / PR - 26	yes
SLA	Linear Algebra I	cs	6	Elective	Cr,Ex	P - 39 / C1 - 22 / CPP - 4	yes
HKO	Communication and Presentation Skills	cs, en	3	Elective	Cr	COZ - 26	yes
HVR	Leadership and Time Management	cs, en	3	Elective	Cr	COZ - 26	yes
BC_MOG1	Molecular Genetics I	cs	4	Elective	Ex	P - 26	yes
PCG	Parallel Computations on GPU	cs	5	Elective	Cr,Ex	P - 26 / Cp - 12 / PR - 14	yes
PGR	Computer Graphics	cs, en	5	Elective	Ex	P - 39 / Cp - 6 / PR - 7	yes
POVa	Computer Vision (in English)	en	5	Elective	Ex	P - 26 / PR - 26	yes
PBI	Advanced Bioinformatics	cs	4	Elective	Ex	P - 20 / Cp - 13 / PR - 6	yes
PGPa	Advanced Computer Graphics (in English)	en	5	Elective	Ex	P - 26 / PR - 26	yes
PCS	Advanced Digital Systems	cs	5	Elective	Ex	P - 26 / Cp - 10 / PR - 16	yes
PDB	Advanced Database Systems	cs, en	5	Elective	Cr,Ex	P - 26 / S - 6 / Cp - 6 / PR - 14	yes
PKSa	Advanced Communication Systems	en	5	Elective	Cr,Ex	P - 39 / L - 6 / PR - 7	no
CCS	Design and Security of Enterprise Networks	cs	5	Elective	GCr	L - 52	yes
PKA	Practical conversation, presenting and business communication in English	cs, en	3	Elective	Cr	COZ - 26	yes
PRM	Fundamentals of Law	cs	2	Elective	GCr	P - 26	yes
PDI	Distributed Application Environment	cs, en	5	Elective	Ex	P - 26 / Cp - 6 / PR - 20	yes
RET	Rhetoric	cs	2	Elective	GCr	P - 26	yes
ROBa	Robotics (in English)	en	5	Elective	Ex	P - 26 / L - 12 / PR - 14	yes
SEM	Sensors and Measurement	cs	5	Elective	Cr,Ex	P - 26 / S - 6 / L - 6 / PR - 14	yes
CE1	CCNP Enterprise: Core Networking (ENCOR)	cs	5	Elective	GCr	L - 52	yes
SFC	Soft Computing	cs	5	Elective	Cr,Ex	P - 26 / PR - 26	yes
SRI	Strategic Management of Information Systems	cs	5	Elective	Ex	P - 26 / COZ - 2 / Cp - 4 / PR - 20	yes
THE	Game Theory	cs	5	Elective	Cr,Ex	P - 26 / PR - 26	yes
TAMa	Application Development for Mobile Devices (in English)	en	5	Elective	GCr	P - 26 / PR - 26	yes
VYPa	Compiler Construction (in English)	en	5	Elective	Ex	P - 39 / PR - 13	yes
VIN	Computer Art	cs	5	Elective	GCr	P - 26 / PR - 26	yes
ZPX	Professional Practice, Abroad	en	5	Elective	Cr	PR - 52	yes
ZZN	Knowledge Discovery in Databases	cs	5	Elective	Cr,Ex	P - 39 / PR - 13	yes
ZPJa	Natural Language Processing (in English)	en	5	Elective	Ex	P - 26 / PR - 26	yes

Any year of study, summer semester
Abbreviation	Title	L.	Cr.	Com.	Compl.	Hr. range	Op.
MBA	Model-Based Analysis	cs	5	Compulsory	Ex	P - 26 / Cp - 10 / PR - 16	yes
ATA	Automated Testing and Dynamic Analysis	cs	5	Compulsory	Ex	P - 26 / PR - 26	yes
MTIa	Modern Trends in Informatics (in English)	en	4	Compulsory	GCr	P - 26 / PR - 13	yes
SNT	Simulation Tools and Techniques	cs	5	Compulsory	Cr,Ex	P - 39 / PR - 13	yes
SPP	Fault Tolerant Systems	cs	5	Compulsory	Cr,Ex	P - 26 / PR - 26	yes
JA3	Conversation through Hot Current Issues	cs, en	3	Elective	Cr,Ex	Cj - 26	yes
AEU	English for Europe	cs, en	3	Elective	Cr,Ex	Cj - 26	yes
EVO	Applied Evolutionary Algorithms	cs	5	Elective	Ex	P - 26 / Cp - 12 / PR - 14	yes
BZA	Secure Hardware Devices	cs	5	Elective	Ex	P - 39 / PR - 13	yes
BIF	Bioinformatics	cs	5	Elective	Ex	P - 26 / Cp - 12 / PR - 14	yes
BIN	Bio-Inspired Computers	cs	5	Elective	Ex	P - 26 / Cp - 8 / PR - 18	yes
BDA	Blockchain and Decentralized Applications	cs	5	Elective	Cr,Ex	P - 26 / PR - 26	yes
CSOa	CCNA Cybersecurity Operations (in English)	en	5	Elective	GCr	P - 26 / L - 26	yes
FIT	History and Philosophy of Technology	cs	2	Elective	GCr	P - 26	yes
DFAa	Digital Forensics (in English)	en	5	Elective	Ex	P - 26 / L - 13 / PR - 13	no
DJA	Dynamic Languages	cs	5	Elective	Ex	P - 26 / PR - 26	yes
FIK	Philosophy and the Culture	cs	2	Elective	Cr	COZ - 26	yes
FVS	Functional Verification of Digital Systems	cs	5	Elective	Ex	P - 26 / L - 8 / PR - 18	yes
FYO	Physical Optics	cs, en	5	Elective	Ex	P - 26 / S - 13 / PR - 13	yes
GIS	Geographical Information Systems	cs	5	Elective	Cr,Ex	P - 26 / Cp - 10 / PR - 16	no
WAP	Internet Applications	cs	5	Elective	Cr,Ex	P - 39 / PR - 13	yes
KKO	Data Coding and Compression	cs	5	Elective	Cr,Ex	P - 26 / PR - 26	yes
KNN	Convolutional Neural Networks	cs	5	Elective	GCr	P - 26 / PR - 26	yes
KRY	Cryptography	cs	5	Elective	Cr,Ex	P - 39 / PR - 13	yes
MPR	Project Management	cs	5	Elective	Cr,Ex	P - 26 / S - 4 / Cp - 2 / PR - 20	yes
HKO	Communication and Presentation Skills	cs, en	3	Elective	Cr	COZ - 26	yes
HVR	Leadership and Time Management	cs, en	3	Elective	Cr	COZ - 26	yes
SML	Mathematical Logic	cs	5	Elective	Cr,Ex	P - 26 / C1 - 26	yes
MPC-MAT	Matrices and Tensors Calculus	cs	5	Elective	Cr,Ex	P - 26 / CPP - 18 / PR - 8	yes
MUL	Multimedia	cs, en	5	Elective	Ex	P - 26 / Cp - 13 / PR - 13	yes
CPSa	Cyber-Physical Systems Design (in English)	en	5	Elective	Cr,Ex	P - 26 / L - 12 / PR - 14	yes
NSB	Projecting, Administration and Security	cs	5	Elective	Cr,Ex	P - 26 / L - 12 / PR - 6	yes
NAV	Design of Embedded Systems	cs	5	Elective	Ex	P - 26 / L - 16 / PR - 10	yes
PIS	Advanced Information Systems	cs	5	Elective	Cr,Ex	P - 39 / PR - 13	yes
POS	Advanced Operating Systems	cs	5	Elective	Ex	P - 39 / PR - 13	yes
CE2	CCNP Enterprise: Advanced Routing (ENARSI)	cs	5	Elective	GCr	L - 52	yes
PPP	Practical Parallel Programming	cs	5	Elective	GCr	P - 26 / Cp - 16 / PR - 10	yes
PRM	Fundamentals of Law	cs	2	Elective	GCr	P - 26	yes
TOI	Principles and Design of IoT	cs	5	Elective	Cr,Ex	P - 26 / L - 8 / PR - 18	yes
PP1	Project Practice 1	cs, en	5	Elective	GCr	PR - 52	yes
PMA	Project Manager	cs	5	Elective	GCr	P - 26 / COZ - 26	yes
PDS	Data Communications, Computer Networks and Protocols	cs, en	5	Elective	Ex	P - 39 / S - 4 / L - 2 / PR - 26	yes
RET	Rhetoric	cs	2	Elective	GCr	P - 26	yes
SLOa	Complexity (in English)	en	5	Elective	Ex	P - 26 / PR - 26	yes
SUR	Machine Learning and Recognition	cs	5	Elective	Ex	P - 26 / S - 13 / PR - 13	yes
MPA-SYS	Systems Biology	en	5	Elective	Cr,Ex	P - 26 / Cp - 26	yes
RTSa	Real-Time Systems (in English)	en	5	Elective	Cr,Ex	P - 26 / Cp - 10 / PR - 16	yes
UXIa	User Experience and Design of User Interfaces and Services (in English)	en	5	Elective	GCr	P - 16 / COZ - 10 / PR - 26	yes
VIZa	Visualization and CAD (in English)	en	5	Elective	GCr	P - 26 / Cp - 12 / PR - 14	yes
VYF	Computational Photography	cs	5	Elective	GCr	P - 26 / PR - 26	yes
VGE	Computational Geometry	cs, en	5	Elective	Ex	P - 26 / PR - 26	yes
VNV	High Performance Computations	cs, en	5	Elective	Ex	P - 26 / Cp - 26	yes
ZPX	Professional Practice, Abroad	en	5	Elective	Cr	PR - 52	yes
ZPO	Image Processing	cs, en	5	Elective	Ex	P - 26 / PR - 26	yes
ZRE	Speech Signal Processing	cs, en	5	Elective	Ex	P - 26 / COZ - 2 / Cp - 12 / PR - 12	yes

VUT

Faculties

University Institutes

Parts

Software Verification and Testing

Course structure diagram with ECTS credits