Formal verification of dynamic hybrid systems: a NuSMV-based model checking approach
Software security is an important and challenging research topic in developing dynamic hybrid embedded software systems. Ensuring the correct behavior of these systems is particularly difficult due to the interactions between the continuous subsystem and the discrete subsystem. Currently available s...
| Main Authors: | , , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
EDP Sciences
2018-01-01
|
| Series: | ITM Web of Conferences |
| Online Access: | https://doi.org/10.1051/itmconf/20181703026 |