Tell a friend
Print
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), 2012-07-23 - 2012-07-24, 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: |
| ||||||||||||
| 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 | ||||||||||||
| Event Start Date: | 23 July 2012 | ||||||||||||
| Event End Date: | 24 July 2012 | ||||||||||||
| 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 Jun 2024 14:20 |
Repository Staff Only: item control page
