Research ArticleOpen accessIn the keywordsCommon Modeling Language for Model CheckersPathiah Abdul Samat, Abdullah Mohd ZinProblem statement: There are many different model checkers that have been developed. Each of the model checkers is based on different input languages and they are suitable for model checking different types of systems. Thus it is important for us to choose the right model checker or modeling and verifying a given system. However, moving from one model checker to … …Journal of Computer Science, Vol. 8, Issue 1 · 1 Nov 2011 · 8,343 accessesView PDFCite