Using SPIN to Check Simulink Stateflow Models
Verification is critical to the design of large and complex systems. SPIN is a well-known and extensively used verification tool. In this paper, we consider two tool chains, one existing, WSAT, and one introduced here, that support using SPIN to model check systems specified as Simulink Stateflow mo...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Springer
2016-06-01
|
| Series: | International Journal of Networked and Distributed Computing (IJNDC) |
| Online Access: | https://www.atlantis-press.com/article/25859749.pdf |