Zobrazeno 1 - 10
of 11
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
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: 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
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
Autor:
Adrian Riesco, Min Zhang
This book constitutes the proceedings of the 23rd International Conference on Formal Engineering Methods, ICFEM 2022, held in Madrid, Spain, in October 2022. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this vo
This book constitutes the refereed proceedings of the 12th International Conference on Verified Software, VSTTE 2020, and the 13th International Workshop on Numerical Software Verification, NSV 2020, held in Los Angeles, CA, USA, in July 2020. Due to
Autor:
Helmut Simonis
This book constitutes the proceedings of the 26th International Conference on Principles and Practice of Constraint Programming, CP 2020, held in Louvain-la-Neuve, Belgium, in September 2020. The conference was held virtually due to the COVID-19 pand
Autor:
Yamine Ait-Ameur, Shengchao Qin
This book constitutes the proceedings of the 21st International Conference on Formal Engineering Methods, ICFEM 2019, held in Shenzhen, China, in November 2019. The 28 full and 8 short papers presented in this volume were carefully reviewed and sele