A Formal Approach to Verify Parameterized Protocols in Mobile Cyber-Physical Systems
Mobile cyber-physical systems (CPSs) are very hard to verify, because of asynchronous communication and the arbitrary number of components. Verification via model checking typically becomes impracticable due to the state space explosion caused by the system parameters and concurrency. In this paper,...
| Main Authors: | , , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Hindawi Limited
2017-01-01
|
| Series: | Mobile Information Systems |
| Online Access: | http://dx.doi.org/10.1155/2017/5731678 |