Analysis of the model checkers' input languages for modeling traffic light systems
Problem 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 check...
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Science Publications
2011
|
| Online Access: | http://psasir.upm.edu.my/id/eprint/22468/1/jcssp.2011.225.233.pdf http://psasir.upm.edu.my/id/eprint/22468/ http://www.thescipub.com/abstract/10.3844/jcssp.2011.225.233 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|