Milos Novácek

According to our database, Milos Novácek authored at least 2 papers between 2011 and 2015.

Collaborative distances:

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

2015

Automatic Inference of Heap Properties Exploiting Value Domains.

Pietro Ferrara, Peter Müller, Milos Novácek

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2015

2011

Model Checking and the State Explosion Problem.

Edmund M. Clarke, William Klieber, Milos Novácek, Paolo Zuliani

Proceedings of the Tools for Practical Software Verification, 2011