RoboChart: modelling and verification of the functional behaviour of robotic applications.
Alvaro MiyazawaPedro RibeiroWei LiAna CavalcantiJon TimmisJim WoodcockPublished in: Softw. Syst. Model. (2019)
Keyphrases
- functional verification
- model checking
- formal verification
- real time
- qualitative models
- functional analysis
- metadata
- website
- asynchronous circuits
- formal methods
- face verification
- functional properties
- human behaviour
- user behaviour
- distributed systems
- programming language
- search algorithm
- decision making
- machine learning
- data sets