Scratch-Based User-Friendly Requirements Definition for Formal Verification of Control Systems
Control systems are becoming ever more commonly used in everyday life. This is true both in industry and in the domestic domain, in the form of e.g., smart home systems. The quality of such systems can be increased by using formal verification methods, such as the model checking technique, to make s...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Vilnius University
2020-06-01
|
| Series: | Informatics in Education |
| Subjects: | |
| Online Access: | https://infedu.vu.lt/journal/INFEDU/article/364/info |