Map
Index
Random
Help
th

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

Quotations
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

Related Topics up

Topic: model checker (49 items)
Group: artificial intelligence   (14 topics, 509 quotes)
Topic: limitations of formalism (93 items)

Collected barberCB 4/04
Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.