Jump to Content

Ymer: A statistical model checker

Proceedings of the 17th International Conference on Computer Aided Verification, Springer, Berlin / Heidelberg (2005), pp. 429-433

Abstract

Research Areas