FAuST: A Framework for Formal Verification, Automated Debugging, and Software Test Generation

Riener, Heinz und Fey, Görschwin (2012) FAuST: A Framework for Formal Verification, Automated Debugging, and Software Test Generation. Springer. International Workshop on Model Checking Software (SPIN), Oxford. doi: 10.1007/978-3-642-31759-0_17. ISSN 0302-9743.

Dieses Archiv kann nicht den Volltext zur Verfügung stellen.

Offizielle URL: http://dx.doi.org/10.1007/978-3-642-31759-0_17

elib-URL des Eintrags:

https://elib.dlr.de/77028/

Dokumentart:

Konferenzbeitrag (Vortrag)

Titel:

FAuST: A Framework for Formal Verification, Automated Debugging, and Software Test Generation

Autoren:

Autoren	Institution oder E-Mail-Adresse	Autoren-ORCID-iD	ORCID Put Code
Riener, Heinz	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Fey, Görschwin	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT

Datum:

2012

Referierte Publikation:

Open Access:

Nein

Gold Open Access:

Nein

In SCOPUS:

Nein

In ISI Web of Science:

Nein

Band:

7385

DOI:

10.1007/978-3-642-31759-0_17

Seitenbereich:

Seiten 234-240

Verlag:

Springer

Name der Reihe:

Lecture Notes in Computer Science

ISSN:

0302-9743

Status:

veröffentlicht

Stichwörter:

Hardware design, formal verification, model checking

Veranstaltungstitel:

International Workshop on Model Checking Software (SPIN)

Veranstaltungsort:

Oxford

Veranstaltungsart:

Workshop

HGF - Forschungsbereich:

Luftfahrt, Raumfahrt und Verkehr

HGF - Programm:

Raumfahrt

HGF - Programmthema:

keine Zuordnung

DLR - Schwerpunkt:

Raumfahrt

DLR - Forschungsgebiet:

R - keine Zuordnung

DLR - Teilgebiet (Projekt, Vorhaben):

R - keine Zuordnung

Standort:

Bremen

Institute & Einrichtungen:

Institut für Raumfahrtsysteme > Avioniksysteme

Hinterlegt von:

Fey, Görschwin

Hinterlegt am:

13 Sep 2012 10:21

Letzte Änderung:

04 Okt 2016 13:16

Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags