Formal Analysis of a Space-Craft Controller Using SPIN.

Klaus Havelund Michael R. Lowry John Penix

Published in: IEEE Trans. Software Eng. (2001)

Keyphrases

formal analysis
control system
formal methods
search space
real time
low dimensional
neural network
case study
open source
software systems
closed loop
agent model