❌

Normal view

Received — 2 August 2026 ⏭

Electronic Design
Demonstrating SPARK with a Mars Rover (Part 4): Formalizing Safety 24 July 2026 at 14:41

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.

Received — 16 July 2026 ⏭

Electronic Design
Demonstrating SPARK with a Mars Rover (Part 3): Improving the System 10 July 2026 at 17:10

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.