Alternativer Identifier:
(KITopen-DOI) 10.5445/IR/1000139656
Verwandter Identifier:
-
Ersteller/in:
Weigl, Alexander https://orcid.org/0000-0001-8446-4598 [Weigl, Alexander]
Beitragende:
-
Titel:
Companion Material for the PhD thesis "Formal Specification and Verification for Automated Production Systems"
Weitere Titel:
-
Beschreibung:
(Abstract) This archive contains the evaluation for "Formal Specification and Verification for Automated Production Systems". In particular, you find evaluation environments for Chapter 7 (Evaluation (PART I - Generalized Test Tables)), 10 (Relational Test Tables), 11 (Provably Forgetting of Information), and 12 (Modular Regression Verification). For more details, refer to the READMEs of the individual sub-folders.
(Technical Remarks) -------------------------------------------------------------------------------- Formal Specification and Verification for Automated Production Systems Alexander Weigl COMPANTION MATERIAL -------------------------------------------------------------------------------- This bundle contains companion material for the PhD thesis "Formal Specification and Verification for Automated Production Systems". In particular you find following items: 1. Files of the evaluation of the chapters: * Chapter 07: Evaluation (PART I - Generalized Test Tables) * Chapter 10: Relational Test Tables * Chapter 11: Provably Forgetting of Information * Chapter 12: Modular Regression Verification Runtime artefacts and log files are included. Further details are given in the `README.md` files of the sub-directories. 2. Software for the evaluation * `verifaps-lib`: the developed library for the verification of automated production systems (GPL v3) * `eldarica`: used for verification of C files (BSD 3-clause license) * `ic3ia`: used for the of VMT files (generated by `nuXmv`) (GPL v3) Not included and required for some experiments are * [`nuXmv`](https://nuxmv.fbk.eu) (Version: 1.1.1, and 2.0.0), model checker, not included due to license restrictions. * [`SeaHorn`](https://seahorn.github.io/), C program verifier, not included due to its large space size `SeaHorn` can be easly obtained by Docker or Podman: ``` $ podman run -ti seahorn/seahorn-llvm10:nightly ```
Schlagworte:
Formal Specification
Formal Verification
Automated Production Systems
Manufacturing Systems
nuXmv
IC3
Eldarica
SeaHorn
Zugehörige Informationen:
-
Sprache:
-
Erstellungsjahr:
Fachgebiet:
Computer Science
Objekttyp:
Dataset
Datenquelle:
-
Verwendete Software:
-
Datenverarbeitung:
-
Erscheinungsjahr:
Lizenz:
Rechteinhaber/in:
Förderung:
-
Name Speichervolumen Metadaten Upload Aktion

Zugriffe der letzten sechs Monate

Aufrufe der Datenpaket-Seite

73


Downloads des Datenpakets

0


Gesamtstatistik

Zeitraum Aufrufe der Datenpaket-Seite Datenpaket heruntergeladen
Feb. 2024 29 0
Jan. 2024 11 0
Dez. 2023 10 0
Nov. 2023 15 0
Okt. 2023 6 0
Sep. 2023 2 0
Vorher 22 0
Gesamt 95 0
Status:
Publiziert
Eingestellt von:
kitopen
Erstellt am:
Archivierungsdatum:
2023-06-24
Archivgröße:
26,7 MB
Archiversteller:
kitopen
Archiv-Prüfsumme:
4347e46161cc0a8fe3ef960b70574f1f (MD5)
Ende des Embargo-Zeitraums:
-