TAPInspector: Safety and Liveness Verification of Concurrent Trigger-Action IoT Systems.
Yinbo YuJiajia LiuPublished in: CoRR (2021)
Keyphrases
- management system
- safety analysis
- databases
- safety critical
- computer vision
- model checking
- distributed systems
- automated verification
- intelligent vehicles
- formal methods
- support systems
- building blocks
- intelligent systems
- real time
- control system
- data analysis
- artificial intelligence
- information retrieval
- data mining
- data sets