A Specification Patterns System for Discrete Event Systems Analysis
As formal verification tools gain popularity, the problem arises of making them more accessible to engineers. A correct understanding of the logics used to express the properties of a system's behaviour is needed in order to guarantee that properties correctly encode the intent of the verificat...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
SAGE Publishing
2013-08-01
|
| Series: | International Journal of Advanced Robotic Systems |
| Online Access: | https://doi.org/10.5772/56412 |