Deploying Promela/Spin-based test generation on RTEMS: A progress report

This item is OpenAccessThis item is covered by a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 Internationa. Click to find out more
Share this page with addthis.com
Thumbnail
File Type:
PDF
Item Type:
Conference Paper
Date:
2023
Author:
Access:
openAccess
Citation:
Andrew Butterfield, Deploying Promela/Spin-based test generation on RTEMS: A progress report, DASIA (Data Systems in Eurospace), Sitges, Spain, June 6-8th 2023, ASD Eurospace, 2023, 6
Download Item:
URI:
https://hdl.handle.net/2262/109054
Author's Homepage:
http://people.tcd.ie/butrfeld
Description:
PUBLISHED
see https://eurospace.org/dasia-conference-aspx/
Sitges, Spain
Author: Butterfield, Andrew
Other Titles:
DASIA (Data Systems in Eurospace)
Publisher:
ASD Eurospace
Type of material:
Conference Paper
URI:
https://hdl.handle.net/2262/109054
Collections
Availability:
Full text available
Subject (TCD):
Formal (i.e. mathematical) Methods In Computer Science , Program Verification , SOFTWARE TESTING
Metadata
Show full item record

The following license files are associated with this item: