Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Marko Kleine Büning"'
Publikováno v:
Formal Methods and Software Engineering ISBN: 9783031172434
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3a56da116dadd96417cd37807fdca0dd
https://doi.org/10.1007/978-3-031-17244-1_13
https://doi.org/10.1007/978-3-031-17244-1_13
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030636173
VSTTE
VSTTE
We present the tool QPR Verify, which is an extension of the bounded model checking approach implemented in the tool LLBMC. QPR Verify is designed to verify industrial embedded software in C and C++ and focuses on runtime errors like arithmetic overf
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1037e01c08a8d1382c5d8e02f9dfae68
https://doi.org/10.1007/978-3-030-63618-0_2
https://doi.org/10.1007/978-3-030-63618-0_2
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030584740
CP
CP
Neural networks have become popular methods for tackling various machine learning tasks and are increasingly applied in safety-critical systems. This necessitates verified statements about their behavior and properties. One of these properties is the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::67b8cc6d61a85c2f68076dcdce6a77d3
https://doi.org/10.1007/978-3-030-58475-7_50
https://doi.org/10.1007/978-3-030-58475-7_50
Publikováno v:
Formal Methods and Software Engineering ISBN: 9783030324087
ICFEM
ICFEM
This paper describes a unified approach for both bounded and unbounded software model checking to find errors in programs written in the programming language C. It is based on a propositional logic intermediate representation, called DimSpec, that ha
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9468c0b5ac9a0f8453a0ae144f85480a
https://doi.org/10.1007/978-3-030-32409-4_2
https://doi.org/10.1007/978-3-030-32409-4_2
Autor:
Carsten Sinz, Marko Kleine Büning
Publikováno v:
Formal Methods and Software Engineering ISBN: 9783030324087
ICFEM
ICFEM
The verification of real-world applications is a continuous challenge which yielded numerous different methods and approaches. However, scalability of precise analysis methods on large programs is still limited. We thus propose a formal definition of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::28c03ad2ad637b8bf8f3478b466b0467
https://doi.org/10.1007/978-3-030-32409-4_12
https://doi.org/10.1007/978-3-030-32409-4_12
Publikováno v:
Formal Methods and Software Engineering ISBN: 9783030024499
ICFEM
ICFEM
Information flow control (IFC) is a category of techniques for enforcing information flow properties. In this paper we present the Combined Approach, a novel IFC technique that combines a scalable system-dependence-graph-based (SDG-based) approach wi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a56a1ba1d73703c462ab31db8d885c02