Work

A Comprehensive Overview of Formal Methods and Deep Learning for Verification and Optimization

Year: 2024

Type: conference-paper

Source: International Conference on Decision Aid Sciences and Applications (DASA)

DOI: 10.1109/dasa63652.2024.10836654

Authors: Anand Swaroop, Abhishek Singh, Girish Chandra, Shiv Prakash, Sohan Kumar Yadav, Tiansheng Yang, Rajkumar Singh Rathore

Institutions: Dr. A.P.J. Abdul Kalam Technical University, University of Allahabad, University of South Wales, Cardiff Metropolitan University

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4406522648

FWCI: 9.237

Cites: 17

Cited by: 14

Related to: 10