# Cool video of replacing C components with SPARK on an ST Micro board

**URL:** https://forum.ada-lang.io/t/cool-video-of-replacing-c-components-with-spark-on-an-st-micro-board/4827
**Category:** General
**Tags:** spark
**Created:** [October 14, 2026, 5:37pm UTC](https://forum.ada-lang.io/t/cool-video-of-replacing-c-components-with-spark-on-an-st-micro-board/4827 "2026-10-14T17:37:27Z")
**Posts on this page:** 1
**Page:** 1

<div class="post-metadata">

### Author: ![markhermeling](https://forum.ada-lang.io/user_avatar/forum.ada-lang.io/markhermeling/32/855_2.png) [@markhermeling](https://forum.ada-lang.io/u/markhermeling)
#### Post date: [October 14, 2026, 5:37pm UTC](https://forum.ada-lang.io/t/cool-video-of-replacing-c-components-with-spark-on-an-st-micro-board/4827/1 "2026-10-14T17:37:27Z")

</div>

I really enjoyed making this demo, let me know what you think and how you think I can make this a stronger message to advocate for SPARK.

One of my next steps is to analyze the C code with static analysis to see if I can find the same problems. Not sure if it would.

[![](https://img.youtube.com/vi/UNyOvO2rzhE/maxresdefault.jpg "Memory Safety on top of ST Micro boards") ](https://www.youtube.com/watch?v=UNyOvO2rzhE)

The full LinkedIn topic is here: [AI Ports, Formal Methods Prove: Memory Safety on ST Micro Boards with SPARK | AdaCore](https://www.linkedin.com/posts/adacore_memorysafety-formalmethods-spark-activity-7516087758294069248-Ypty)

Like and subscribe!