Michal Kotoun

According to our database, Michal Kotoun authored at least 3 papers between 2016 and 2019.

Collaborative distances:

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

2019

PredatorHP Attacks Interval-Sized Regions.

Michal Kotoun, Petr Peringer, Veronika Soková, Tomás Vojnar

CoRR, 2019

2016

Optimized PredatorHP and the SV-COMP Heap and Memory Safety Benchmark - (Competition Contribution).

Michal Kotoun, Petr Peringer, Veronika Soková, Tomás Vojnar

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Predator Shape Analysis Tool Suite.

Lukás Holík, Michal Kotoun, Petr Peringer, Veronika Soková, Marek Trtík, Tomás Vojnar

Proceedings of the Hardware and Software: Verification and Testing, 2016