Zobrazeno 1 - 10
of 57
pro vyhledávání: '"Richard Bubel"'
Publikováno v:
Proceedings of the IEEE/ACM 10th International Conference on Formal Methods in Software Engineering.
Publikováno v:
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering ISBN: 9783031197550
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ed378e2ced583396358d25a2b6155423
https://doi.org/10.1007/978-3-031-19756-7_16
https://doi.org/10.1007/978-3-031-19756-7_16
Publikováno v:
Fundamental Approaches to Software Engineering ISBN: 9783030994280
Finding semantic bugs in code is difficult and requires precious expert time. Lacking comprehensive formal specifications, deductive verification is not an option. We propose an incremental specification procedure: With the help of automatic verifica
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b537df4559fa54075706b364816289fa
https://doi.org/10.1007/978-3-030-99429-7_8
https://doi.org/10.1007/978-3-030-99429-7_8
Publikováno v:
GPCE
The quest for feature- and family-oriented deductive verification of software product lines resulted in several proposals. In this paper we look at delta-oriented modeling of product lines and combine two new ideas: first, we extend Hahnle & Schaefer
Autor:
Stefan Krüger, Richard Bubel, Ina Schaefer, Sebastian Krieter, Eric Bodden, Alexander Knüppel, Thomas Thüm
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030643539
20 Years of KeY
20 Years of KeY
Today, software systems are rarely developed monolithically, but may be composed of numerous individually developed features. Their modularization facilitates independent development and verification. While feature-based strategies to verify features
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::934580b54a5040dc716213f478630f02
https://doi.org/10.1007/978-3-030-64354-6_5
https://doi.org/10.1007/978-3-030-64354-6_5
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030643539
20 Years of KeY
20 Years of KeY
Smart contracts are programs running on decentralized, distributed ledger platforms. Rigorous formal analysis of these programs is highly desirable because they manage valuable assets and therefore are a prime target for security attacks. In this pap
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7c4a749050f51242f5ac1c7d64cf26ca
https://doi.org/10.1007/978-3-030-64354-6_8
https://doi.org/10.1007/978-3-030-64354-6_8
Autor:
Richard Bubel, Wolfgang Ahrendt
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030614669
ISoLA (3)
ISoLA (3)
We present an invariant-based specification and verification methodology that allows us to conveniently specify and verify strong data integrity properties for Solidity smart contracts. Our approach is able to reason precisely about arbitrary usage o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::62718a6fbfdf4644118cd2321b489b42
https://doi.org/10.1007/978-3-030-61467-6_2
https://doi.org/10.1007/978-3-030-61467-6_2
This Festschrift, dedicated to Reiner Hähnle on the occasion of his 60th birthday, contains papers written by many of his closest collaborators.After positions at Karlsruhe Institute of Technology and Chalmers University of Technology, since 2011 Re
Autor:
Reiner Hähnle, Richard Bubel, Stijn de Gouw, Dominic Steinhöfel, Frank S. de Boer, Jurriaan Rot
Publikováno v:
Journal of Automated Reasoning, 62, 1, pp. 93-126
Journal of Automated Reasoning, 62(1), 93-126. Springer Netherlands
Journal of Automated Reasoning
Gouw, S D, Boer, F S D, Bubel, R, Hähnle, R, Rot, J & Steinhöfel, D 2019, ' Verifying OpenJDK's Sort Method for Generic Collections ', Journal of Automated Reasoning, vol. 62, no. 1, pp. 93-126 . https://doi.org/10.1007/s10817-017-9426-4
Journal of Automated Reasoning, 62, 93-126
Journal of Automated Reasoning, 62(1), 93-126. Springer Netherlands
Journal of Automated Reasoning
Gouw, S D, Boer, F S D, Bubel, R, Hähnle, R, Rot, J & Steinhöfel, D 2019, ' Verifying OpenJDK's Sort Method for Generic Collections ', Journal of Automated Reasoning, vol. 62, no. 1, pp. 93-126 . https://doi.org/10.1007/s10817-017-9426-4
Journal of Automated Reasoning, 62, 93-126
TimSort is the main sorting algorithm provided by the Java standard library and many other programming frameworks. Our original goal was functional verification of TimSort with mechanical proofs. However, during our verification attempt we discovered
Publikováno v:
Computers & Security. 67:335-349
We present a method to generate automatically exploits for information flow leaks in object-oriented programs. The goal, similar to white-box test generation, is to automatically produce executable, reusable test cases that challenge a given informat