Jan Beran

2012

Jiří Barnat, Luboš Brim, Jan Beran, Tomáš Kratochvíla, and Italo Romani de Oliveira:
Executing Model Checking Counterexamples in Simulink,
IEEE Sixth International Symposium on Theoretical Aspects of Software Engineering, IEEE Computer Society, 2012, 245-248. [bibtex]

Jiří Barnat, Jan Beran, Luboš Brim, Kratochvíla Tomáš, and Ročkai Petr:
Tool Chain to Support Automated Formal Verification of Avionics Simulink Designs,
Formal Methods for Industrial Critical Systems: 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings, Springer Berlin Heidelberg, 2012, 78–92. [bibtex, url]