Model Checking Object-Z Specification Using SPIN
Nowadays, model checking is recognized as an efficient technology for verifying system properties. There are many tools such as SPIN and NuSMV supports model checking that will greatly enhance software systems applicability. However, it is difficult to establish a tool to directly verify Object-Z, b...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
IFSA Publishing, S.L.
2013-07-01
|
| Series: | Sensors & Transducers |
| Subjects: | |
| Online Access: | http://www.sensorsportal.com/HTML/DIGEST/july_2013/P_1279.pdf |