formal methods

CodeEval Challenge – Correct Algorithm for Self Describing Numbers

In this post I’ll show you how you can practically apply formal methods to obtain a correct algorithm to solve a problem. The chosen problem is a challenge posted on CodeEval: Self Describing Numbers Simply put, a self describing number… Continue Reading →

Share Button

© 2022 — Powered by WordPress

Theme by Anders NorenUp ↑