Execution Tracing of C Code for Formal Analysis

Riener, Heinz and Thomsen, Michael Kirkedal and Fey, Görschwin (2015) Execution Tracing of C Code for Formal Analysis. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2015), 2015-03-03 - 2015-03-04, Chemnitz, Deutschland.

Full text not available from this repository.

Item URL in elib:

https://elib.dlr.de/106000/

Document Type:

Conference or Workshop Item (Speech)

Title:

Execution Tracing of C Code for Formal Analysis

Authors:

Authors	Institution or Email of Authors	Author's ORCID iD	ORCID Put Code
Riener, Heinz	UNSPECIFIED	UNSPECIFIED	UNSPECIFIED
Thomsen, Michael Kirkedal	m.kirkedal (at) di.ku.dk	UNSPECIFIED	UNSPECIFIED
Fey, Görschwin	UNSPECIFIED	UNSPECIFIED	UNSPECIFIED

Date:

2015

Refereed publication:

Open Access:

Gold Open Access:

In SCOPUS:

In ISI Web of Science:

Status:

Published

Keywords:

formal verification, semi-formal methods

Event Title:

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2015)

Event Location:

Chemnitz, Deutschland

Event Type:

international Conference

Event Start Date:

3 March 2015

Event End Date:

4 March 2015

Organizer:

GI/GMM/ITG Workshop

HGF - Research field:

Aeronautics, Space and Transport

HGF - Program:

Space

HGF - Program Themes:

Space System Technology

DLR - Research area:

Raumfahrt

DLR - Program:

R SY - Space System Technology

DLR - Research theme (Project):

R - Small Sat Kleinsatelliten (old), R - Core Avionics (old), R - Systemtechnologien (old)

Location:

Bremen

Institutes and Institutions:

Institute of Space Systems > Avionics Systems

Deposited By:

Mörz, Martina

Deposited On:

13 Sep 2016 12:32

Last Modified:

24 Apr 2024 20:11

Repository Staff Only: item control page