Publication Records

ŠIMEČEK, Pavel. I/O Efficient Model Checking. In Alpine Verification Meeting 2008. 2008.

BARNAT, Jiří, Luboš BRIM, Pavel ŠIMEČEK and Michael WEBER. Revisiting Resistance Speeds Up I/O Efficient LTL Model Checking. In Tools and Algorithms for the Construction and Analysis of Systems. Berlin, Heidelberg: Springer-Verlag, 2008, p. 48-62. ISBN 978-3-540-78799-0.

BARNAT, Jiří, Luboš BRIM and Pavel ŠIMEČEK. I/O Efficient Accepting Cycle Detection. In 19th International Conference on Computer Aided Verification. Berlin, Heidelberg: Springer, 2007, p. 281-293. ISBN 978-3-540-73367-6.