ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

7,612,381 results

The Linux Foundation
Modernizing Software Verification - Craig Christianson, United States Air Force

Join us at the premier vendor-neutral open source conference, where developers and technologists come together to collaborate, ...

1:03:09
Modernizing Software Verification - Craig Christianson, United States Air Force

138 views

2 months ago

TechVedas .learn
Software Testing - Verification VS Validation

Subscribe to my channel TechvedasLearn for the latest update. Software Testing - Verification VS Validation Friends Verification ...

4:16
Software Testing - Verification VS Validation

65,954 views

3 years ago

Elektor TV
Why Testing Can Never Be 100% - The Math Behind Software Verification

In this snippet from Elektor Engineering Insights #54, we explore why traditional software testing can never guarantee 100% ...

3:18
Why Testing Can Never Be 100% - The Math Behind Software Verification

81,584 views

1 year ago

Udacity
Verification & Validation - Georgia Tech - Software Development Process

Watch on Udacity: https://www.udacity.com/course/viewer#!/c-ud805/l-1719379003/m-547028649 Check out the full Advanced ...

1:36
Verification & Validation - Georgia Tech - Software Development Process

50,648 views

11 years ago

Blow Fan
Jonathan Blow on formally proving software

Jonathan Blow's Twitch: https://www.twitch.tv/j_blow Tip me: https://ko-fi.com/blowfan Programmer and game designer Jonathan ...

8:47
Jonathan Blow on formally proving software

46,016 views

2 years ago

Udacity
Verification Approaches - Georgia Tech - Software Development Process

Watch on Udacity: https://www.udacity.com/course/viewer#!/c-ud805/l-1778878537/m-445098551 Check out the full Advanced ...

3:14
Verification Approaches - Georgia Tech - Software Development Process

9,013 views

11 years ago

Precision Systems, Inc.
Software Verification vs. Software Validation

Many people in and around the software development process will use the two terms software verification and software validation ...

4:38
Software Verification vs. Software Validation

1,374 views

5 years ago

Software Testing Mentor
Software Testing Tutorial #27 - Verification and Validation in Software Testing

Get all my courses for USD 5.99/Month - https://bit.ly/all-courses-subscription In this Software Testing Tutorial, we will learn about ...

14:18
Software Testing Tutorial #27 - Verification and Validation in Software Testing

47,865 views

5 years ago

MIT OpenCourseWare
9. Verification and Validation

MIT 16.842 Fundamentals of Systems Engineering, Fall 2015 View the complete course: http://ocw.mit.edu/16-842F15 Instructor: ...

1:37:49
9. Verification and Validation

93,126 views

9 years ago

Carl Kwan
Suresoft Technologies Software Verification & Validation Explainer Video

http://www.carlkwan.com This is an explainer video for company that provides software validation and verification services to ...

2:48
Suresoft Technologies Software Verification & Validation Explainer Video

4,314 views

10 years ago

FAR․AI
Zac Hatfield-Dodds – Formal Verification is Overrated [Alignment Workshop]

Zac Hatfield-Dodds presents “Formal Verification is Overrated,” arguing that relying solely on verification methods may not provide ...

6:20
Zac Hatfield-Dodds – Formal Verification is Overrated [Alignment Workshop]

5,363 views

1 year ago

Galois
What is Formal Verification?

What is formal verification? A light introduction to mathematically verifying the correctness of software systems. Learn more at: ...

2:29
What is Formal Verification?

43,109 views

8 years ago

Gate Smashers
Verification vs Validation in Software Engineering

MASTER COMPUTER SCIENCE | INTERVIEWS | EXAMS Gate Smashers — Learn Computer Science through free lectures, ...

6:34
Verification vs Validation in Software Engineering

818,860 views

5 years ago

Medical Device Academy
Software Validation for Medical Devices – FAQs

Over the years, we have collected a lot of software validation questions, and we are using it to create a frequently asked questions ...

27:58
Software Validation for Medical Devices – FAQs

5,369 views

Streamed 3 years ago

CodeLucky
Formal Verification Explained: Model Checking & Program Verification for Beginners

Dive into the world of Formal Verification! This video breaks down complex concepts like Model Checking and Program ...

3:35
Formal Verification Explained: Model Checking & Program Verification for Beginners

1,925 views

1 year ago

Lean FRO
Software Verification in Lean - Leo de Moura

A technical presentation on Lean's readiness for large-scale software verification. De Moura introduces SymM, a new ...

58:55
Software Verification in Lean - Leo de Moura

611 views

4 months ago

YaleCourses
8.5 | Essential Medical Software Verification & Testing Strategies | Medical Software Course

In this lesson, we explore the crucial regulatory guidance for medical software verification and testing, examining its profound ...

11:42
8.5 | Essential Medical Software Verification & Testing Strategies | Medical Software Course

463 views

1 year ago