Higher Order Logic( HOL) Based Configuration & Verification of Smart Watches – A Short Communication & Novel Suggestion to Develop an Informatics Framework
Nirmal Tej Kumar, Raphael Melo Thiago, B Sandro, R Vinicius, Lisane, P Vanderlei · viXra · 2017
In this short communication we focused on Higher Order Logic(HOL) based configuration and verification of hardware in the java virtual machine environment(JVM) using HOL-Isabelle system. Smart Watches are fast becoming excellent information processing devices to monitor health.Hence we wish to communicate our idea in the context of circadian systems and informatics applications