Software testing and verification

Thema UMZT

32 tuit
Lec 57: AI Assisted Formal Verification
Formal & Physical Sciences Computing & Cybersecurity
EN

Lec 57: AI Assisted Formal Verification

NPTEL IIT Guwahati
27 min
★ ★ ★ ★ ☆ 4/5
Formal VerificationAI AssistanceModel Checking
Lec 44: Equivalence Checking between Programs
Formal & Physical Sciences Computing & Cybersecurity
EN

Lec 44: Equivalence Checking between Programs

Prof. Chandan Karfa
50 min
★ ★ ★ ★ ☆ 4/5
Equivalence CheckingFormal VerificationCompiler Optimization
Lec 35: Checkpointing and Fault Tolerance
Applied Sciences & Engineering Computing & Cybersecurity
EN

Lec 35: Checkpointing and Fault Tolerance

Dr. Satyajit Das and Prof. Satyadhyan Chickerur
16 min
★ ★ ★ ☆ ☆ 3/5
CheckpointingFault ToleranceDistributed Training
Lec 26: CTL Introduction
Formal & Physical Sciences Computing & Cybersecurity
EN

Lec 26: CTL Introduction

Prof. Chandan Karfa
41 min
★ ★ ★ ★ ☆ 4/5
CTLTemporal LogicFormal Verification
Vibe coding — Comment tester son application ?
Applied Sciences & Engineering Computing & Cybersecurity
EN

Vibe coding — Comment tester son application ?

Vibe coding — How to test your application?

Shubham SHARMA
10 min
★ ★ ★ ★ ☆ 4/5
Vibe CodingPlaywrightQA Testing
model validation
Formal & Physical Sciences Computing & Cybersecurity
EN

model validation

Dr. Eitan Farchi
24 min
★ ★ ★ ★ ☆ 4/5
Model ValidationMachine LearningHoeffding Inequality