Florian Merz

14 papers A* 1A 3Misc 1Journal 2Unranked 6
YearRankTypeTitle / Venue / Authors
2016 — —
Theory and Implementation of Software Bounded Model Checking.
Florian Merz
2015 J jnl
Bridging the gap between test cases and requirements by abstract testing.
Innov. Syst. Softw. Eng.
Florian Merz, Carsten Sinz, Hendrik Post, Thomas Gorges, Thomas Kropf
2014 J jnl
Automatic Heavy-weight Static Analysis Tools for Fin- ding Bugs in Safety-critical Embedded C/C++ Code.
Softwaretechnik-Trends
David Faragó, Florian Merz, Carsten Sinz
2013 — conf
Extending the Theory of Arrays: memset, memcpy, and Beyond.
VSTTE
Stephan Falke, Florian Merz, Carsten Sinz
2013 A conf
LLBMC: Improved Bounded Model Checking of C Programs Using LLVM - (Competition Contribution).
TACAS
Stephan Falke, Florian Merz, Carsten Sinz
2013 A* conf
The bounded model checker LLBMC.
ASE
Stephan Falke, Florian Merz, Carsten Sinz
2012 — conf
A Theory of Arrays with set and copy Operations.
SMT@IJCAR
Stephan Falke, Carsten Sinz, Florian Merz
2012 — conf
Challenges in Comparing Software Verification Tools for C.
COMPARE
Florian Merz, Carsten Sinz, Stephan Falke
2012 A conf
LLBMC: A Bounded Model Checker for LLVM's Intermediate Representation - (Competition Contribution).
TACAS
Carsten Sinz, Florian Merz, Stephan Falke
2012 — conf
LLBMC: Bounded Model Checking of C and C++ Programs Using a Compiler IR.
VSTTE
Florian Merz, Stephan Falke, Carsten Sinz
2011 — conf
Integration of Bounded Model Checking and Deductive Verification.
FoVeOOS
Bernhard Beckert, Thorsten Bormer, Florian Merz, Carsten Sinz
2010 — conf
A Precise Memory Model for Low-Level Bounded Model Checking.
SSV
Carsten Sinz, Stephan Falke, Florian Merz
2010 Misc conf
Abstract Testing: Connecting Source Code Verification with Requirements.
QUATIC
Florian Merz, Carsten Sinz, Hendrik Post, Thomas Gorges, Thomas Kropf
2009 A conf
Linking Functional Requirements and Software Verification.
RE
Hendrik Post, Carsten Sinz, Florian Merz, Thomas Gorges, Thomas Kropf