❌

Reading view

Demonstrating SPARK with a Mars Rover (Part 4): Formalizing Safety

Electronic Design

By: (Tony Aiello)

24 July 2026 at 14:41

Cyber-physical systems and SPARK offer a good way to develop and test safety-critical systems.

Demonstrating SPARK with a Mars Rover (Part 3): Improving the System

Electronic Design

By: (Tony Aiello)

10 July 2026 at 17:10

Cyber-physical systems and SPARK are good ways to develop and test safety-critical systems.