Toggle navigation
reposiTUm
ABOUT REPOSITUM
HELP
Login
News
Browse by
Publication Types
Organizations
Researchers
Projects
TU Wien Academic Press
Open Access Series
Theses
Digitised Works
Year of Publication
Record link:
http://hdl.handle.net/20.500.12708/151840
-
Title:
Under-approximating loops in C programs for fast counterexample detection
en
Citation:
Lewis, M., Kroening, D., & Weissenbacher, G. (2015). Under-approximating loops in C programs for fast counterexample detection.
Formal Methods in System Design
,
47
(1), 75–92. https://doi.org/10.1007/s10703-015-0228-1
-
Publisher DOI:
10.1007/s10703-015-0228-1
-
Publication Type:
Artikel - Original Research Article
de
Article - Original Research Article
en
Language:
English
-
Authors:
Lewis, Matt
Kroening, Daniel
Weissenbacher, Georg
-
Organisational Unit:
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
-
Journal:
Formal Methods in System Design
-
ISSN:
0925-9856
-
Date (published):
2015
-
Number of Pages:
18
-
Publisher:
SPRINGER
-
Peer reviewed:
Yes
-
Keywords:
Software; Theoretical Computer Science; Hardware and Architecture
-
Project title:
Heisenbugs: Auffindung und Erklärung
-
Research Areas:
Logic and Computation: 100%
-
Science Branch:
Informatik
-
Appears in Collections:
Article
Show full item record
Items in reposiTUm are protected by copyright, with all rights reserved, unless otherwise indicated.
Page view(s)
43
checked on Oct 11, 2023
Google Scholar
TM
Check