Formal Verification of Hardware Components in Critical Systems.
Wilayat KhanMuhammad KamranSyed Rameez NaqviFarrukh Aslam KhanAhmed S. AlghamdiEesa AlsolamiPublished in: Wirel. Commun. Mob. Comput. (2020)
Keyphrases
- formal verification
- computer systems
- distributed systems
- model checking
- high end
- computing systems
- hardware and software
- management system
- automated verification
- orders of magnitude
- knowledge based systems
- low cost
- software components
- massively parallel
- software implementation
- commercial off the shelf
- image processing