Open AccessExperiment on Verification of a Planetary Rover Controller
Author(s) -
Anahita Akhavan,
Saddek Bensalem,
Marius Bozga,
Eleni Orfanidou
Publication year - 2004
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - correctness , computer science , semantics (computer science) , mars rover , formal verification , martian surface , mars exploration program , martian , systems engineering , control engineering , software engineering , simulation , programming language , engineering , astrobiology , physics