Validas — Tool and Library Qualification

69 Episodo

1. Question 07: What is a growing QKit?

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    Publicado: 29/4/2020