Autor der Publikation

Theory and Implementation of Software Bounded Model Checking.

. Karlsruhe Institute of Technology, Germany, (2016)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Fast eigenvalue calculations in a massively parallel plasma turbulence code., , , und . Parallel Computing, 36 (5-6): 339-358 (2010)Theory and Implementation of Software Bounded Model Checking.. Karlsruhe Institute of Technology, Germany, (2016)Extending the Theory of Arrays: memset, memcpy, and Beyond., , und . VSTTE, Volume 8164 von Lecture Notes in Computer Science, Seite 108-128. Springer, (2013)LLBMC: Bounded Model Checking of C and C++ Programs Using a Compiler IR., , und . VSTTE, Volume 7152 von Lecture Notes in Computer Science, Seite 146-161. Springer, (2012)PReaCH: A Fast Lightweight Reachability Index Using Pruning and Contraction Hierarchies., und . ESA, Volume 8737 von Lecture Notes in Computer Science, Seite 701-712. Springer, (2014)Challenges in Comparing Software Verification Tools for C., , und . COMPARE, Volume 873 von CEUR Workshop Proceedings, Seite 60-65. CEUR-WS.org, (2012)Abstract Testing: Connecting Source Code Verification with Requirements., , , , und . QUATIC, Seite 89-96. IEEE Computer Society, (2010)The bounded model checker LLBMC., , und . ASE, Seite 706-709. IEEE, (2013)The global version of the gyrokinetic turbulence code GENE., , , , , , und . J. Comput. Physics, 230 (18): 7053-7071 (2011)Automatic Heavy-weight Static Analysis Tools for Fin- ding Bugs in Safety-critical Embedded C/C++ Code., , und . Softwaretechnik-Trends, (2014)