Experimental evaluation of verification and validation tools on Martian Rover software
From MaRDI portal
Publication:1888201
DOI10.1023/B:FORM.0000040027.28662.a4zbMath1078.68665OpenAlexW2016208194MaRDI QIDQ1888201
Publication date: 22 November 2004
Published in: Formal Methods in System Design (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/b:form.0000040027.28662.a4
Related Items (4)
Conformance testing for real-time systems ⋮ Combining Model Checking and Testing ⋮ Verifying a signature architecture: a comparative case study ⋮ Combining test case generation and runtime verification
Uses Software
This page was built for publication: Experimental evaluation of verification and validation tools on Martian Rover software
