A user-guide for running SpaceEx verification tool

Rapport (Rapport De Recherche) Année : 2020

(1, 2)

1
2

Nikolaos Kekatos

VERIMAG

Université Grenoble Alpes

Informatique [cs]

Fichier principal

main.pdf (177.52 Ko)

Origine : Fichiers produits par l'(les) auteur(s)

https://hal.science/hal-03091954

Soumis le : jeudi 31 décembre 2020-23:57:36

Dernière modification le : jeudi 4 avril 2024-20:54:34

Archivage à long terme le : jeudi 1 avril 2021-19:02:17

hal-03091954 , version 1 (31-12-2020)

Nikolaos Kekatos. A user-guide for running SpaceEx verification tool. [Research Report] Verimag Laboratory. 2020. ⟨hal-03091954⟩

UGA IMAG CNRS VERIMAG LARA

1349 Consultations

124 Téléchargements