The Symbolic Execution Debugger (SED): a platform for interactive symbolic execution, debugging, verification and more by Hentschel, Martin, Bubel, Richard, Hähnle, Reiner

Get full text

SymPaths: Symbolic Execution Meets Partial Order Reduction by de Boer, Frank, Bonsangue, Marcello, Johnsen, Einar Broch, Pun, Ka I, Tapia Tarifa, Silvia Lizeth, Tveito, Lars

Request full text

Verifying OpenJDK’s Sort Method for Generic Collections by de Gouw, Stijn, de Boer, Frank S., Bubel, Richard, Hähnle, Reiner, Rot, Jurriaan, Steinhöfel, Dominic

Get full text

Automatic detection and demonstrator generation for information flow leaks in object-oriented programs by Do, Quoc Huy, Bubel, Richard, Hähnle, Reiner

Get full text

A formal verification framework for static analysis: As well as its instantiation to the resource analyzer COSTA and formal verification tool KeY by Albert, Elvira, Bubel, Richard, Genaim, Samir, Hähnle, Reiner, Puebla, Germán, Román-Díez, Guillermo

Get full text

Integrating deductive verification and symbolic execution for abstract object creation in dynamic logic by de Gouw, Stijn, de Boer, Frank, Ahrendt, Wolfgang, Bubel, Richard

Get full text

The KeY tool: Integrating object oriented design and formal verification by Ahrendt, Wolfgang, Baar, Thomas, Beckert, Bernhard, Bubel, Richard, Giese, Martin, Hähnle, Reiner, Menzel, Wolfram, Mostowski, Wojciech, Roth, Andreas, Schlager, Steffen, Schmitt, Peter H.

Get full text

Testing abstract behavioral specifications by Wong, Peter Y. H., Bubel, Richard, de Boer, Frank S., Gómez-Zamalloa, Miguel, de Gouw, Stijn, Hähnle, Reiner, Meinke, Karl, Sindhu, Muddassar Azam

Get full text

Integration of informal and formal development of object-oriented safety-critical software by BUBEL, Richard, HÄHNLE, Reiner

Get full text

Formal Specification of Security-Critical Railway Software with the KeY System by Bubel, Richard, Hähnle, Reiner

Get full text

SmartML: Towards a Modeling Language for Smart Contracts by Veschetti, Adele, Bubel, Richard, Hähnle, Reiner

Get full text

Automatic Loop Invariant Generation for Data Dependence Analysis by Tabar, Asmae Heydari, Bubel, Richard, Hahnle, Reiner

Request full text

Towards Trace-based Deductive Verification (Tech Report) by Bubel, Richard, Gurov, Dilian, Hähnle, Reiner, Scaletta, Marco

Get full text

Dependency-Based Information Flow Analysis with Declassification in a Program Logic by Bart van Delft, Bubel, Richard

Get full text

The KeY Tool by Hähnle, Reiner, Ahrendt, Wolfgang, Baar, Thomas, Beckert, Bernhard, Bubel, Richard, Giese, Martin, Menzel, Wolfram, Mostowski, Wojciech, Roth, Andreas, Schlager, Steffen, Schmitt, Peter

Get full text

Integration of Informal and Formal Development of Object-Oriented Safety-Critical Software by Bubel, Richard, Hähnle, Reiner

Get full text

Integration of Informal and Formal Development of Object-Oriented Safety-Critical Software: A Case Study with the KeY System by Bubel, Richard, Hähnle, Reiner

Get full text

Ensuring the Correctness of Lightweight Tactics for JavaCard Dynamic Logic by Bubel, Richard, Roth, Andreas, Rümmer, Philipp

Get full text

A comparison of runtime assertion checking and theorem proving for concurrent and distributed systems by Din, Crystal Chang, Owe, Olaf, Bubel, Richard

Request full text

Proceedings of the PhD Symposium at iFM’19on Formal Methods: Algorithms, Tools and Applications (PhD-iFM’19) by Pun, Ka I, Stolz, Volker, Fazeldehkordi, Elahe, Owe, Olaf, Ramezanifarkhani, Toktam, Damasceno, Carlos Diego Nascimento, Ahishakiye, Faustin, Kristensen, Lars Michael, Tabar, Asmae Heydari, Bubel, Richard, Hähnle, Reiner, Sagemüller, Justus, Verdier, Olivier

Request full text