Muhammad Abdul Basit Ur Rahim

Papers

Total Citations

H-Index

About

Muhammad Abdul Basit Ur Rahim is a researcher whose work centers on the formal verification of reconfigurable systems—a critical area for ensuring the reliability and correctness of adaptive hardware and software architectures. His primary contribution lies in developing rigorous mathematical methods to validate the behavior of systems that can change their structure or functionality at runtime, addressing fundamental challenges in safety-critical applications such as autonomous systems and embedded computing. Although his most-cited paper, "Formal verification of reconfigurable systems" (2023), has garnered 5 citations, it represents a focused effort to bridge formal methods with dynamic system design. The retraction of this work highlights the complexities and evolving standards in the field, yet it underscores his engagement with high-stakes verification problems. His research aligns with broader trends in dependable computing, and his efforts contribute to ongoing dialogues about ensuring correctness in increasingly flexible and autonomous technologies. For students and researchers exploring formal verification, his work offers a lens into the challenges of verifying systems that defy static analysis.