Published October 27, 2024 | Version 1.0
Dataset Open

Model Checking of Spacecraft Operational Designs: A Scalability Analysis - Artifact

Authors/Creators

  • 1. Deutsches Zentrum für Luft- und Raumfahrt

Description

This artifact contains the accompanying experiment data for the publication "Model Checking of Spacecraft Operational Designs: A Scalability Analysis".

Files

scalability-mc-spacecraft.zip

Files (1.4 GB)

Name Size Download all
md5:158ccfe1a892314c1d30eedd604af388
1.4 GB Preview Download

Additional details

Dates

Created
2024-10-27

Software

Programming language
Java , Python , Xtend , Promela