Thomas Kröpf

Simulation-guided property checking based on a multi-valued AR-automata

J. Ruf, Dirk W. Hoffmann, Thomas Kröpf et al. · 2001 · 57 citations

Computing, Computer Engineering, Computer Science +17

Structuring and automating hardware proofs in a higher-order theorem-proving environment

Ramayya Kumar, Klaus Schneider, Thomas Kröpf · Formal Methods in System Design · 1993 · 37 citations

Computing, Computer Engineering, Computer Science +14

Linking Functional Requirements and Software Verification

Hendrik Post, Carsten Sinz, F. Merz et al. · 2009 · 37 citations

Engineering, Automotive Engineering, Computer Science +17

Simulation-guided property checking based on multi-valued AR-automata

J. Ruf, Dirk W. Hoffmann, Thomas Kröpf et al. · Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001 · 2002 · 35 citations

Computing, Computer Engineering, Computer Science +17

Integrating A First-order Automatic prover In The HOL Environment

Rakesh Kumar, Thomas Kröpf, Klaus Schneider · 2005 · 33 citations

Computing, Computer Science, Automation +16