Alternate identifier:
(KITopen-DOI) 10.5445/IR/1000139656
Related identifier:
-
Creator/Author:
Weigl, Alexander https://orcid.org/0000-0001-8446-4598 [Weigl, Alexander]
Contributors:
-
Title:
Companion Material for the PhD thesis "Formal Specification and Verification for Automated Production Systems"
Additional titles:
-
Description:
(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 ```
Keywords:
Formal Specification
Formal Verification
Automated Production Systems
Manufacturing Systems
nuXmv
IC3
Eldarica
SeaHorn
Related information:
-
Language:
-
Production year:
Subject areas:
Computer Science
Resource type:
Dataset
Data source:
-
Software used:
-
Data processing:
-
Publication year:
Rights holders:
Funding:
-
Name Storage Metadata Upload Action

Number of views in the previous six months.

Dataset page views

150


Downloads

0


Overall statistics

Period Landing page accessed Dataset downloaded
Apr 2024 41 0
Mar 2024 41 0
Feb 2024 32 0
Jan 2024 11 0
Dec 2023 10 0
Nov 2023 15 0
Before 30 0
Total 180 0
Status:
Published
Uploaded by:
kitopen
Created on:
Archiving date:
2023-06-24
Archive size:
26.7 MB
Archive creator:
kitopen
Archive checksum:
4347e46161cc0a8fe3ef960b70574f1f (MD5)
Embargo end date:
-