Verification of Operating Systems for Internet of Things in Smart Cities From the Assembly Perspective Using Isabelle/HOL.
Zhenjiang QianWei LiuYiyang YaoPublished in: IEEE Access (2021)
Keyphrases
- operating system
- theorem prover
- smart cities
- natural deduction
- formal methods
- computer systems
- smart city
- service integration
- virtual machine
- distributed systems
- first order logic
- world wide
- inference rules
- mobile devices
- entry point
- windows xp
- ubiquitous computing
- big data
- database
- data processing
- e learning
- information systems
- neural network