Scratch-Based User-Friendly Requirements Definition for Formal Verification of Control Systems.
Iwona GrobelnaPublished in: Informatics Educ. (2020)
Keyphrases
- user friendly
- formal verification
- control system
- model checking
- highly interactive
- graphical user interface
- automated verification
- user interface
- bounded model checking
- graphical interface
- model checker
- software package
- program slicing
- command line
- back end
- online databases
- symbolic model checking
- interactive data mining
- decision trees
- data mining