Details

Software Verification and Testing

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

Programme: Information Technology and Artificial Intelligence

Course structure diagram with ECTS credits

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

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

2. year of study, winter semester
Abbreviation	Title	L.	Cr.	Com.	Prof.	Compl.	Hr. range	Gr.	Op.
SEP	Semester Project	cs, en	5	Compulsory	PZ	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.	Prof.	Compl.	Hr. range	Gr.	Op.
DIP	Master's Thesis	cs, en	13	Compulsory	PZ	Cr	PR - 169		yes

Any year of study, winter semester
Abbreviation	Title	L.	Cr.	Com.	Prof.	Compl.	Hr. range	Op.
AVS	Computation Systems Architectures	cs	5	Compulsory	ZT	Cr,Ex	P - 26 / Cp - 12 / PR - 14	yes
BIS	Information System Security	cs	5	Compulsory	PZ	Cr,Ex	P - 39 / PR - 13	yes
SAV	Static Analysis and Verification	cs	5	Compulsory	PZ	Cr,Ex	P - 39 / PR - 13	yes
UPA	Data Storage and Preparation	cs	5	Compulsory	ZT	Cr,Ex	P - 26 / COZ - 6 / Cp - 6 / PR - 14	yes
SUI	Artificial Intelligence and Machine Learning	cs	5	Compulsory	ZT	Ex	P - 26 / COZ - 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	COZ - 26	yes
FCE	English: Practical Course of Business Conversation and Presentation	cs, en	3	Elective	-	Cr	COZ - 26	yes
AEU	English for Europe	cs, en	3	Elective	-	Cr,Ex	COZ - 26	yes
BAYa	Bayesian Models for Machine Learning (in English)	en	5	Elective	-	Ex	P - 26 / COZ - 13 / PR - 13	yes
BMS	Wireless and Mobile Networks	cs	5	Elective	-	Cr,Ex	P - 39 / PR - 13	yes
BIO	Biometric Systems	cs, en	5	Elective	-	Cr,Ex	P - 39 / L - 6 / PR - 7	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, en	3	Elective	-	Cr	P - 26	yes
C3P	Troubleshooting and Maintaining Cisco IP Networks (TSHOOT)	cs	5	Elective	-	GCr	L - 52	no
EIP	Economics of Information Products	cs	5	Elective	-	Ex	P - 26 / COZ - 6 / Cp - 12 / PR - 8	no
FIK	Philosophy and the Culture	cs, en	3	Elective	-	Cr	P - 26	no
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	no
GMU	Graphic and Multimedia Processors	cs	5	Elective	-	Cr,Ex	P - 26 / Cp - 8 / PR - 18	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	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
MAT	Mathematical Structures in Computer Science	cs, en	5	Elective	-	Ex	P - 39 / COZ - 13	no
BC_MOG1	Molecular Genetics I	cs	3	Elective	-	Ex	P - 26	yes
PCG	Parallel Computations on GPU	cs	5	Elective	-	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 / COZ - 6 / Cp - 6 / PR - 14	yes
PKS	Advanced Communication Systems	cs	5	Elective	-	Cr,Ex	P - 39 / L - 6 / PR - 7	yes
CCS	Design and Security of Enterprise Networks	cs	5	Elective	-	GCr	L - 52	yes
PRM	Fundamentals of Law	cs, en	3	Elective	-	Cr	P - 26	yes
PDI	Distributed Application Environment	cs, en	5	Elective	-	Ex	P - 26 / Cp - 6 / PR - 20	yes
RET	Rhetoric	cs, en	3	Elective	-	Cr	P - 26	yes
ROBa	Robotics (in English)	en	5	Elective	-	Ex	P - 26 / L - 6 / PR - 20	yes
SEM	Sensors and Measurement	cs	5	Elective	-	Cr,Ex	P - 26 / COZ - 6 / L - 6 / PR - 14	yes
C1P	Implementing Cisco IP Routing (ROUTE)	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
RTSa	Real-Time Systems (in English)	en	5	Elective	-	Ex	P - 26 / Cp - 10 / PR - 16	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	no

Any year of study, summer semester
Abbreviation	Title	L.	Cr.	Com.	Prof.	Compl.	Hr. range	Op.
MBA	Model-Based Analysis	cs	5	Compulsory	PZ	Ex	P - 39 / Cp - 6 / PR - 7	yes
ATA	Automated Testing and Dynamic Analysis	cs	5	Compulsory	PZ	Ex	P - 26 / PR - 26	yes
MTIa	Modern Trends in Informatics (in English)	en	4	Compulsory	ZT	GCr	P - 26 / PR - 13	yes
SNT	Simulation Tools and Techniques	cs	5	Compulsory	PZ	Cr,Ex	P - 39 / PR - 13	yes
SPP	Fault Tolerant Systems	cs	5	Compulsory	PZ	Cr,Ex	P - 26 / PR - 26	yes
JA3	Conversation through Hot Current Issues	cs, en	3	Elective	-	Cr,Ex	COZ - 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
CSOa	CCNA Cybersecurity Operations (in English)	en	5	Elective	-	GCr	P - 26 / L - 26	yes
FIT	History and Philosophy of Technology	cs, en	3	Elective	-	Cr	P - 26	no
DFAa	Digital Forensics (in English)	en	5	Elective	-	Ex	P - 26 / L - 13 / PR - 13	yes
DJA	Dynamic Languages	cs	5	Elective	-	Ex	P - 26 / PR - 26	yes
FIK	Philosophy and the Culture	cs, en	3	Elective	-	Cr	P - 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 / COZ - 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
LOG	Logic	cs	5	Elective	-	Cr,Ex	P - 26 / COZ - 26	yes
MPR	Project Management	cs	5	Elective	-	Cr,Ex	P - 26 / COZ - 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
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	-	Ex	P - 26 / L - 13 / PR - 13	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
SOA	General Algebra	cs	5	Elective	-	Cr,Ex	P - 26 / C1 - 22 / CPP - 4	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	no
PPP	Practical Parallel Programming	cs	5	Elective	-	Cr,Ex	P - 26 / Cp - 16 / PR - 10	yes
PRM	Fundamentals of Law	cs, en	3	Elective	-	Cr	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 / COZ - 4 / L - 2 / PR - 26	yes
RET	Rhetoric	cs, en	3	Elective	-	Cr	P - 26	yes
C2P	Implementing Cisco IP Switched Networks (SWITCH)	cs	5	Elective	-	GCr	L - 52	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 / COZ - 13 / PR - 13	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 and university institutes

Parts

Software Verification and Testing

Course structure diagram with ECTS credits