This research paper is mainly aimed to elaborate the initial risk management and measures which government of Pakistan took towards Novel Corona Virus (COVID-2019). This initial response and planning was devised after the early outbreak of COVID-2019 in Wuhan, China in early time of January 2020. Pakistan devised a comprehensive plan that not to evacuate their student from Wuhan, China. The government of Pakistan in compliance with the National Institute of Health (NIH) devised and documented comprehensive plans such as the flight operations postponed related to Umerah pilgrims, which were intended to go to sacred places of KSA (The Kingdom of Saudi Arabia). The process of visa, immigration policy totally changed and the government of Pakistan notified it officially that, no new visas of visit, student, and business would be issued in due course of uncertainty due to COVID-2019. The government of Pakistan also announced medical emergency and notified through the country’s provinces the process of testing and treatment of COVID-2019. The government of Pakistan also allocated funds for medical supplies and named out the particular country’s best laboratories. The government of Pakistan also locked down all the cities with the emergency announcement that people should stay inside the home in quarantine or self-isolation. NIH (The National Institute of Health) played a vital role in executing the planning to cope with COVID – 2019). The National Institute of Health responded as “The Centre for Disease Control”. In aid to the government, the national army of Pakistan responded in a proactive manner towards planed execution. The medical corps of Pakistan army dedicated themselves to treat the suspected patients of COVID – 2019. Due to plans, policies being documented, implemented in such a way productive way that from February 28, 2020 to till date there is not much critical situation and issues are not present. There are much productive results as there is not much boom in a rise of COVID-2019 patients. This lockdown under the authority of the provinces resulted in fruitful outcomes. Background: On January 02, 2020, authorities of the People Republic of China elaborated that they have encountered with a novel type of infectious viral disease 2019. Later on January 12, the authorities from China elaborated the related sequence of Corona Virus diseases 2019 names as COVID – 2019. When COVID-2019 being identified in Wuhan, Hubei China, as an early response the Government of Pakistan in support of the National Institute of Health (Field Epidemiology & Disease Surveillance Division) published a health advisory about novel coronavirus. Methods: According to Global Health Security Index, Pakistan is ranked as 105th country among 195 countries in GHS index. Overall Score of Pakistan is 35.5. The score of Early Detection and Reporting for Epidemics of Potential International Concern is 41.7. A Graphical depiction of the COVID-19 cases placed until April 10, 2020 as well as a graph trend line of recovered as well as death rate is also depicted. According to the graphical facts of Government of Pakistan and World meters, the recovery rate of COVID-19 is about 98 percent and 2.1 percent death rate is reported against the total cases. Trend analysis with line graph was drawn based on available data from official dashboard web portal of the government of Pakistan and worldometers.info. Data figures were incorporated from March to August 18, 2020 in MS Excel and then subsequently deployed to draw trend analysis from managing risk to recovery. Results: The line graph showed a slowdown in the COVID-19 cases and high rate of recoveries from COVID-19 in Pakistan. On March 11, 2020, there were 20 confirmed cases of coronavirus reported in Pakistan. No death was recorded in very first seven days, on March 18, 2020 only two deaths were reported. On August 18, 2020, there were 272128 recoveries, 6201 deaths, total confirmed cases 290445, and total test were 2340072 in Pakistan. As a results, we can report that due to early measures taken by government of Pakistan no mass scale destruction in terms of death and cases been recorded in Pakistan. Conclusions: To till date, the government of Pakistan tried its level best to minimize the coronavirus cases as much as they can. However, the ending of the potential attack of an outbreak would depend upon the well organized and coordinated approach at all levels such as true directed decisions, fully preparedness, as well implementation and evaluation of continuous decisions. As the recovery rate of the cases is 98 percent and merely death rate is 2.1 percent, concluded that in future it would be a good sign to stop the potential outbreak. Also, lock down as well as precautionary measurement taken by the provincial governments resulted a decline number of COVID-19 cases in the country. Another good sign is that merely 4 percent population of Pakistan is of more than 60 years of old it can be concluded that there are less chances of mass death due to outbreak of COVID-19.

Validation and verification are the critical requirements in the knowledge acquisition method for the clinical decision support system (CDSS). After acquiring the medical knowledge from diverse sources, the rigorous validation and formal verification process are required before creating the final knowledge model. Previously, we have proposed a hybrid knowledge acquisition method for acquiring medical knowledge from clinical practice guidelines (CPGs) and patient data in the Smart CDSS for treatment of oral cavity cancer. The final knowledge model was created by combining knowledge models obtained from CPGs and patient data after passing through a rigorous validation process. However, detailed analysis shows that due to lack of formal verification process, it involves various inconsistencies in knowledge relevant to the formalism of knowledge, conformance to CPGs, quality of knowledge, and complexities of knowledge acquisition artifacts. Therefore, it is required to enhance a hybrid knowledge acquisition method that thwarts the inconsistencies using formal verification. This paper presents the verification process using the Z formal method and its outcome as an enhanced acquisition method – known as the refined knowledge acquisition (ReKA) method. The ReKA method adopted verification method and explored the mechanism of theorem proving using the Z notation. It enables to identify inconsistencies in the validation process used for hybrid knowledge acquisition. Additionally, it refines the hybrid knowledge acquisition method by discovering the missing steps in the current validation process at the acquisition stage. Consequently, ReKA adds a set of nine additional criteria to be used to have a final valid refined clinical knowledge model. The criteria ensure the validity of final knowledge model concerning formalism of knowledge, conformance to GPGs, quality of the knowledge, usage of stringent conditions and treatment plans, and inconsistencies possibly resulting from the complexities. Evaluation, using four medical knowledge acquisition scenarios, shows that newly added knowledge in CDSS due to the addition of criteria by ReKA method always produces a valid knowledge model. The final knowledge model was also evaluated with 1229 oral cavity patient cases, which outperformed with an accuracy of 72.57\% compared to a similar approach with an accuracy of 69.7\%. Furthermore, ReKA method identified a set of decision paths (about 47.8%) in the existing approach, which results in a final knowledge model with low quality, non-conformed from standard CPGs. In conclusion, ReKA is formally proved method which always yields valid knowledge model having high quality, supporting local practices, and influenced from standard guidelines.