Formal Verification of Transcompiled Mobile Applications Using First-Order Logic

Na minha lista:

Detalhes bibliográficos
Publicado no:	Technologies vol. 13, no. 12 (2025), p. 580-599
Autor principal:	Muhammad Ahmad Ahmad
Outros Autores:	Mahitap, Ayman, Elhossany, Samer A, Walaa, Medhat, Selim Sahar, Zayed Hala, Yousef, Ahmed H, Jantsch Axel, Elaraby Nahla
Publicado em:	MDPI AG
Assuntos:	Behavior Software Similarity Java Programming languages Semantics Bias Verification Large language models Syntax Applications programs Logic Equivalence Axioms Mobile computing Codes Software reuse Evaluation Case studies Computer programming
Acesso em linha:	Citation/Abstract Full Text + Graphics Full Text - PDF
Tags:	Adicionar Tag Sem tags, seja o primeiro a adicionar uma tag!

Seja o primeiro a partilhar um comentário!