Mahmoud, A.T.; Medhat, W.; Selim, S.; Zayed, H.; Yousef, A.H.; Elaraby, N.
TC-Verifier: Trans-Compiler-Based Code Translator Verifier with Model-Checking. Appl. Syst. Innov. 2025, 8, 60.
https://doi.org/10.3390/asi8030060
AMA Style
Mahmoud AT, Medhat W, Selim S, Zayed H, Yousef AH, Elaraby N.
TC-Verifier: Trans-Compiler-Based Code Translator Verifier with Model-Checking. Applied System Innovation. 2025; 8(3):60.
https://doi.org/10.3390/asi8030060
Chicago/Turabian Style
Mahmoud, Amira T., Walaa Medhat, Sahar Selim, Hala Zayed, Ahmed H. Yousef, and Nahla Elaraby.
2025. "TC-Verifier: Trans-Compiler-Based Code Translator Verifier with Model-Checking" Applied System Innovation 8, no. 3: 60.
https://doi.org/10.3390/asi8030060
APA Style
Mahmoud, A. T., Medhat, W., Selim, S., Zayed, H., Yousef, A. H., & Elaraby, N.
(2025). TC-Verifier: Trans-Compiler-Based Code Translator Verifier with Model-Checking. Applied System Innovation, 8(3), 60.
https://doi.org/10.3390/asi8030060