elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Imprint | Privacy Policy | Contact | Deutsch
Fontsize: [-] Text [+]

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

Riener, Heinz and 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

Full text not available from this repository.

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


Item URL in elib:https://elib.dlr.de/77028/
Document Type:Conference or Workshop Item (Speech)
Title:FAuST: A Framework for Formal Verification, Automated Debugging, and Software Test Generation
Authors:
AuthorsInstitution or Email of AuthorsAuthors ORCID iD
Riener, HeinzUNSPECIFIEDUNSPECIFIED
Fey, GörschwinUNSPECIFIEDUNSPECIFIED
Date:2012
Refereed publication:Yes
Open Access:No
Gold Open Access:No
In SCOPUS:No
In ISI Web of Science:No
Volume:7385
DOI :10.1007/978-3-642-31759-0_17
Page Range:pp. 234-240
Publisher:Springer
Series Name:Lecture Notes in Computer Science
ISSN:0302-9743
Status:Published
Keywords:Hardware design, formal verification, model checking
Event Title:International Workshop on Model Checking Software (SPIN)
Event Location:Oxford
Event Type:Workshop
HGF - Research field:Aeronautics, Space and Transport
HGF - Program:Space
HGF - Program Themes:other
DLR - Research area:Raumfahrt
DLR - Program:R - no assignment
DLR - Research theme (Project):R - no assignment
Location: Bremen
Institutes and Institutions:Institute of Space Systems > Avionics Systems
Deposited By: Fey, Görschwin
Deposited On:13 Sep 2012 10:21
Last Modified:04 Oct 2016 13:16

Repository Staff Only: item control page

Browse
Search
Help & Contact
Information
electronic library is running on EPrints 3.3.12
Copyright © 2008-2017 German Aerospace Center (DLR). All rights reserved.