Pavel Cadek

Publication Activity (10 Years)

Years Active: 2016-2018
Publications (10 Years): 3

Top Topics

Multiresolution

Technical Report

Top Venues

Publications

Pavel Cadek, Clemens Danninger, Moritz Sinn, Florian Zuleger
Using Loop Bound Analysis For Invariant Generation. FMCAD (2018)
Pavel Cadek, Jan Strejcek, Marek Trtík
Tighter Loop Bound Analysis (Technical report). CoRR (2016)
Pavel Cadek, Jan Strejcek, Marek Trtík
Tighter Loop Bound Analysis. ATVA (2016)