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...
Saved in:
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 http://psasir.upm.edu.my/id/eprint/22511/ http://thescipub.com/html/10.3844/jcssp.2012.99.106 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|