Coronaviruses are a group of related RNA viruses that cause disease in mammals and birds. Covid-19 infection occurs due to an virus which is single-stranded, called SARS-CoV-2; this similar SARS-CoV. This review throws light on the available laboratory techniques used for testing coronavirus. Certain challenges encountered during development diagnostic test novel pathogen, depends sensitivity m...

The paper presents a method of reasoning about the behavior of asynchronous programs in denotational models designed with metric spaces and continuation semantics for concurrency. 1Head of Formal Methods Laboratory (FML) 2Contact person