Pavel Cadek

According to our database, Pavel Cadek authored at least 3 papers between 2016 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2018

Using Loop Bound Analysis For Invariant Generation.

Pavel Cadek, Clemens Danninger, Moritz Sinn, Florian Zuleger

Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018

2016

Tighter Loop Bound Analysis (Technical report).

Pavel Cadek, Jan Strejcek, Marek Trtík

CoRR, 2016

Tighter Loop Bound Analysis.

Pavel Cadek, Jan Strejcek, Marek Trtík

Proceedings of the Automated Technology for Verification and Analysis, 2016