Kumar, S.Bhowmik, B.2026-02-062023Proceedings of 2023 IEEE Technology and Engineering Management Conference - Asia Pacific, TEMSCON-ASPAC 2023, 2023, Vol., , p. -https://doi.org/10.1109/TEMSCON-ASPAC59527.2023.10531579https://idr.nitk.ac.in/handle/123456789/29253The recent emergence of SARS-CoV-2, also known as COVID-19, poses a significant health threat and has rapidly spread to 223 countries, affecting more than 755 million people. Globally, more than seven billion COVID-19 tests have been performed. Rapid antigen kits have emerged as valuable detection techniques in the global fight against COVID-19, providing quick and accessible testing capabilities. However, ensuring the accuracy and reliability of these kits is crucial for effective disease management. This paper presents the emergence of different COVID-19 biomarker techniques to detect these viruses. Next, explore the role of the formal verification technique, addressing the trustworthiness of rapid antigen kits. Furthermore, the paper explores the diverse quick antigen kits approved by the Indian Council of Medical Research (ICMR) available in the literature. Formal verification provides substantial implications in the context of rapid antigen kit verification, and it is increasingly becoming a prominent trend in medical diagnostics. © 2023 IEEE.Accuracy and ReliabilityBiomarker SensorCOVID-19 TestingFormal VerificationRapid Antigen Kits