| 
|
QuoteRef: haveK8_2001
Topic:
model checker
Group:
artificial intelligence
Topic:
limitations of formalism
Reference
Havelaund, K., Lowry, M., Penix, J., "Formal analysis of a space-craft controller using SPIN", IEEE Transactions on Software Engineering, 27, 8, August 2001, pp. 749-765. Google
749 ;;Quote: formal analysis of a plan execution module for NASA's Remote Agent; first complete, AI control of a space-craft
749 ;;Quote: SPIN found five errors in part of the LISP code for NASA's Remote Agent; took 12 man weeks to model and one week to verify
Topic: model checker (49 items)
Group: artificial intelligence (14 topics, 509 quotes)
Topic: limitations of formalism (93 items)