Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Frank Schüssele"'
Autor:
Matthias Heizmann, Max Barth, Daniel Dietsch, Leonard Fichtner, Jochen Hoenicke, Dominik Klumpp, Mehdi Naouar, Tanja Schindler, Frank Schüssele, Andreas Podelski
Publikováno v:
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783031308192
The verification approach of Ultimate Automizer utilizes SMT formulas. This paper presents techniques to keep the size of the formulas small. We focus especially on a normal form, called CommuHash normal form that was easy to implement and had a sign
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b8a7a8c9a93f1f36bbb8faea8ff11ff5
https://doi.org/10.1007/978-3-031-30820-8_39
https://doi.org/10.1007/978-3-031-30820-8_39
Autor:
Dominik Klumpp, Daniel Dietsch, Matthias Heizmann, Frank Schüssele, Marcel Ebbinghaus, Azadeh Farzan, Andreas Podelski
Publikováno v:
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783030995263
Ultimate GemCutterverifies concurrent programs using the CEGAR paradigm, by generalizing from spurious counterexample traces to larger sets of correct traces. We integrate classical CEGAR generalization with orthogonal generalization across interleav
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c7cabbd3f2bde6940f46e0be99748d0f
https://doi.org/10.1007/978-3-030-99527-0_35
https://doi.org/10.1007/978-3-030-99527-0_35
Publikováno v:
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783030452360
TACAS (2)
TACAS (2)
Ultimate Taipan is a software model checker that combines trace abstraction with abstract interpretation on path programs. In this year’s version, we replaced our abstract interpretation engine and now use a combination of multiple abstraction func
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c61b525e5fc4f53a528f7a8d57956d3d
https://doi.org/10.1007/978-3-030-45237-7_32
https://doi.org/10.1007/978-3-030-45237-7_32
Autor:
Marius Greitschus, Frank Schüssele, Christian Schilling, Claus Schätzle, Daniel Dietsch, Alexander Nutz, Yu-Wen Chen, Betim Musa, Matthias Heizmann, Andreas Podelski
Publikováno v:
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783662545799
TACAS (2)
TACAS (2)
Ultimate Automizer is a software verifier that implements an automata-based approach for the verification of safety and liveness properties. A central new feature that speeded up the abstraction refinement of the tool is an on-demand construction of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a72404ab85f68f6284a88d03cfd46494
https://doi.org/10.1007/978-3-662-54580-5_30
https://doi.org/10.1007/978-3-662-54580-5_30
Autor:
Christian Schilling, Marius Greitschus, Alexander Nutz, Andreas Podelski, Daniel Dietsch, Claus Schätzle, Frank Schüssele, Matthias Heizmann
Publikováno v:
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783662545799
TACAS (2)
TACAS (2)
Ultimate Taipan is a software model checker for C programs. It is based on a CEGAR variant, trace abstractioni¾?[7], where program abstractions, counterexample selection and abstraction refinement are based on automata. Ultimate Taipan constructs pa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::53d74c038b2bbcbd910ac1b359c600eb
https://doi.org/10.1007/978-3-662-54580-5_31
https://doi.org/10.1007/978-3-662-54580-5_31