Author of the publication

A deductive reasoning approach for database applications using verification conditions.

, , and . J. Syst. Softw., (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Data-Centric Refinement of Information Flow Analysis of Database Applications., and . SSCC, volume 536 of Communications in Computer and Information Science, page 506-518. Springer, (2015)Refining dependencies for information flow analysis of database applications., and . Int. J. Trust. Manag. Comput. Commun., 3 (3): 193-223 (2016)A Symbolic Model Checker for Database Programs., , and . ICSOFT, page 381-388. SciTePress, (2018)A Systematic Review of the Future of Education in Perspective of Block Chain., , , , , and . J. Mobile Multimedia, 19 (5): 1221-1254 (2023)K-Taint: An Executable Rewriting Logic Semantics for Taint Analysis in the K Framework., , , and . ENASE, page 359-366. SciTePress, (2018)A deductive reasoning approach for database applications using verification conditions., , and . J. Syst. Softw., (2021)Tailoring Taint Analysis for Database Applications in the K Framework., and . DATA, page 370-377. SCITEPRESS, (2021)Formal Verification of Database Applications Using Predicate Abstraction., and . SN Comput. Sci., 2 (2): 135 (2021)Uncovering Network Vulnerabilities and Conducting Digital Forensics Analysis for IoT Device Security in 6G., , , , , , , and . ANTS, page 1-6. IEEE, (2023)A Review Paper Study on Skew Slab Bridge using ETAB Software by Finite Element Method. INTERNATIONAL JOURNAL OF TREND IN SCIENTIFIC RESEARCH AND DEVELOPMENT, 7 (2): 1202-1205 (April 2023)