Inspirel

167 subscribers

60 videos

Inspirel was created to promote good practice in software engineering. The main fields of our expertise are construction of safety-critical systems and devel...

Latest Videos

Formal Assistant - Level 3

Formal Assistant - Level 2

Formal Assistant - Level 1

Formal Assistant - Level 0

Formal Assistant - Intro

There Are Too Many Unit Tests

StreamDB - Persistency for Simple Projects

Julia From The Boring Meeting

Bug Of The Sprint

What is wrong with Test-Driven Development

Short String Optimization

Advantages of custom allocators

Data Flow and initialization

What I don't like in recent compilers

100% Testing Coverage

Testing Allocations

Instrumented Allocation

Look Up Tables

Code And Think In The Same Language

Color Correction For Nerds

Formal Methods - When and Where

FMT 15 Verification Conditions, Part 1

Video Effects With Mathematica

FMT 14 From Program To Formal Checks

FMT 13 Type Checks

Gardening With Mathematica

Moebius Strip

Knot 8

Worm

Crossing Waves