Search | Science Publications

Research ArticleOpen accessIn the keywordsAnalysis of the Model Checkers' Input Languages for Modeling Traffic Light SystemsPathiah Abdul Samat, Abdullah Mohd Zin, Zarina ShukurProblem statement: Model checking is an automated verification technique that can be used for verifying properties of a system. A number of model checking systems have been developed over the last few years. However, there is no guideline that is available for selecting the most suitable model checker to be used to model a particular system. Approach: In this study, … …Journal of Computer Science, Vol. 7, Issue 2 · 25 Feb 2011 · 7,887 accessesView PDF Cite

1 article for “State Transition Diagram (STD)”