Validas — Tool and Library Qualification

69 Episodes

1. Question 07: What is a growing QKit?

   Published: 12/29/2020
2. Episode 42: Static Analysis with Daniel Kästner (AbsInt)

   Published: 12/22/2020
3. Question 06: Why is it called tool validation?

   Published: 12/14/2020
4. Episode 41: Validas’s Generic Safety Plan

   Published: 12/9/2020
5. Episode 40: Qualification of Medical Tools

   Published: 11/23/2020
6. Question 05: What do we mean by high probability in tool qualification?

   Published: 11/16/2020
7. Episode 39: Excel and COVID-19 Tool Safety

   Published: 11/12/2020
8. Episode 38: Validas’s Process Modeling Technology — PMT

   Published: 11/2/2020
9. Episode 37: Modified Condition/Decision Coverage — MCDC

   Published: 10/19/2020
10. Episode 36: Safety Element out of Context — SEooC

    Published: 9/28/2020
11. Episode 35: Tool Confidence — Revisited

    Published: 9/21/2020
12. Episode 34: Tool Impact

    Published: 9/9/2020
13. Episode 33: ISO 26262

    Published: 8/3/2020
14. Question 04: Do famous tools need to be qualified?

    Published: 7/27/2020
15. Episode 32: Effective Mitigation Strategy

    Published: 7/20/2020
16. Episode 31: Safety of C++ Exceptions — Deep Dive with Mapless AI

    Published: 6/23/2020
17. Episode 30: Proces Modeling Tool

    Published: 6/8/2020
18. Episode 29: Safety Compliance

    Published: 5/22/2020
19. Episode 28: ForeC++ — Test Case Generator

    Published: 5/10/2020
20. Episode 27: Compiler Qualification

    Published: 4/29/2020