Publication Date
| In 2025 | 0 |
| Since 2024 | 0 |
| Since 2021 (last 5 years) | 0 |
| Since 2016 (last 10 years) | 1 |
| Since 2006 (last 20 years) | 1 |
Descriptor
| Audits (Verification) | 1 |
| Computation | 1 |
| Engineering | 1 |
| Information Systems | 1 |
| Programming | 1 |
| Programming Languages | 1 |
| Standards | 1 |
Source
| Informatics in Education | 1 |
Author
| Grobelna, Iwona | 1 |
Publication Type
| Journal Articles | 1 |
| Reports - Descriptive | 1 |
Education Level
Audience
Location
Laws, Policies, & Programs
Assessments and Surveys
What Works Clearinghouse Rating
Peer reviewed
Download full textGrobelna, Iwona – Informatics in Education, 2020
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 sure that the designed system fulfills all user…
Descriptors: Programming Languages, Standards, Engineering, Information Systems
