T
Thomas Kropf
Researcher at University of Tübingen
Publications - 120
Citations - 1387
Thomas Kropf is an academic researcher from University of Tübingen. The author has contributed to research in topics: Formal verification & Intelligent verification. The author has an hindex of 17, co-authored 119 publications receiving 1362 citations. Previous affiliations of Thomas Kropf include Bosch & Karlsruhe Institute of Technology.
Papers
More filters
BookDOI
Introduction to formal hardware verification
TL;DR: This chapter discusses Boolean Functions, Finite State Machine Based Approaches, Propositional Temporal Logics, and Higher Order Logic.
Proceedings ArticleDOI
The simulation semantics of systemC
TL;DR: The semantics of SystemC is presented in form of distributed Abstract State Machines (ASMs) rules reflecting the view given in the SystemC User's Manual and the reference implementation to help investigate SystemC interoperability with Verilog and VHDL.
Proceedings ArticleDOI
Simulation-guided property checking based on a multi-valued AR-automata
TL;DR: This paper presents a method for verifying temporal properties of systems described in an executable description language that allows the user to specify properties about the system in finite linear time temporal logic.
Book ChapterDOI
Symbolic model checking for a discrete clocked temporal logic with intervals
Jürgen Ruf,Thomas Kropf +1 more
TL;DR: This paper presents a new model checking algorithm for interval based timed structures and temporal logic formulas that leads to a significant performance gain compared to previous approaches.
Book
Formal Hardware Verification: Methods and Systems in Comparison
TL;DR: Symbolic trajectory evaluation, Automated verification with abstract state machines using multiway decision graphs, and hardware verification using PVS.