Verification of operating systems for Internet of things in smart cities from the assembly perspective using Isabelle/HOL
Z Qian, W Liu, Y Yao - IEEE Access, 2020 - ieeexplore.ieee.org
Formal verification can mathematically prove whether a software satisfies the requirements
described in its design. In traditional software development, even if the software systems …
described in its design. In traditional software development, even if the software systems …