Experimental Evaluation of Verification and Validation Tools on Martian Rover Software

Venet, Arnaud; Brat, Guillaume; Washington, Rich; Drusinsky, Doron; Giannakopoulou, Dimitra; Goldberg, Allen; Havelund, Klaus; Lowry, Mike; Pasareanu, Corina S.; Visser, Willem I.

doi:10.1023/B:FORM.0000040027.28662.a4

Record: found
Abstract: not found
Article: not found

Experimental Evaluation of Verification and Validation Tools on Martian Rover Software

Author(s): Guillaume Brat , Doron Drusinsky , Dimitra Giannakopoulou , Allen Goldberg , Klaus Havelund , Mike Lowry , Corina Pasareanu , Arnaud Venet , Willem Visser , Rich Washington

Publication date (Print): September 2004

Journal: Formal Methods in System Design

Publisher: Springer Nature

Read this article at

ScienceOpenPublisher

Bookmark

There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and article information

Journal

Title: Formal Methods in System Design

Abbreviated Title: Formal Methods in System Design

Publisher: Springer Nature

ISSN: 0925-9856

Publication date Created: September 2004

Publication date (Print): September 2004

Volume: 25

Issue: 2/3

Pages: 167-198

Article

DOI: 10.1023/B:FORM.0000040027.28662.a4

SO-VID: 346c4e59-9b8d-492a-959d-85b84786eedc

History

Data availability:

Experimental Evaluation of Verification and Validation Tools on Martian Rover Software

Read this article at

Related collections

Martian Soil

Author and article information

Journal

Article

History

Comments

Comment on this article

Similar content 2,974

Cited by 2