Common modeling language for model checkers
Problem 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 ver...
Main Authors: | , |
---|---|
Format: | Article |
Language: | English |
Published: |
Science Publications
2012
|
Online Access: | http://psasir.upm.edu.my/id/eprint/22511/1/Common%20modeling%20language%20for%20model%20checkers.pdf |