On the run-time verification of autonomy software

No abstract is available for this paper.

• Publication year

  2003

• Venue

  28th Annual NASA Goddard Software Engineering Workshop, 2003. Proceedings.

• Publication date

  2003-12-03

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1109/SEW.2003.1270726
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Formal Analysis of a Space-Craft Controller Using SPIN

  2001cited by this paper
• Verification and validation of autonomous systems

  2001cited by this paper
• Verification of Plan Models Using UPPAAL

  2000cited by this paper
• Verification and Validation of Autonomy Software at NASA

  2000cited by this paper
• Towards automatic verification of autonomous systems

  2000cited by this paper
• Uppaal in a nutshell

  1997cited by this paper
• Towards an application framework for automated planning and scheduling

  1997cited by this paper

• Contributions of model checking and CoFI methodology to the development of space embedded software

  2014cites this paper
• Model Checking Applied to Embedded Software of University Satellite

  2013cites this paper
• Creating automated plans for Semantic Web applications through planning as model checking

  2009cites this paper