Electronic Design

Demonstrating SPARK with a Mars Rover (Part 2): The Safety Property

This is part two of a four-part series highlighting the Ada SPARK programming language that’s designed to facilitate the ...