Using SPARK for a beginner's course on reasoning about imperative programs.

Published in: SIGAda (2007)

Keyphrases

imperative programs
dynamic logic
step by step instructions
spatial reasoning
qualitative reasoning
case study
artificial intelligence
search engine
mobile robot
object oriented
plan execution
formal theory
modal operators