Work

Simplify Array Processing Loops for Efficient Program Verification

Year: 2021

Type: conference-paper

Source: Proceedings/Proceedings - International Symposium on Software Reliability Engineering

DOI: 10.1109/issre52982.2021.00049

Authors: Xiang Du, Liangze Yin, Wei Dong

Institution: National University of Defense Technology

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4211149606

FWCI:

Cites: 32

Cited by:

Related to: 10