Software correctness

Marcin Wojnarowski
Software developer
LeanCode

Software correctness

Marcin Wojnarowski
Software developer
LeanCode

Software correctness

Marcin Wojnarows ...
Software developer
LeanCode

Video Infos
Author
Published
Topics
Author
Published
We take a break from Flutter and Dart by discussing what it means for software to be correct. Do you trust unit tests to give you the guarantees you are looking for? What does it mean for software to be actually correct? Can we give some formal guarantees about the behavior of your program?

LATEST ANDROID JOBS

update your work life

Menu