Work

Research on Higher-Order Operator Transformation Algorithms for Syntax Transformation-Based Model Checking

Year: 2024

Type: conference-paper

Source: IEEE International Conference on Automation, Electronics and Electrical Engineering (AUTEEE)

DOI: 10.1109/auteee62881.2024.10869702

Authors: Ji Liu, Jie Liu, Lingyun Luo, Fei Yang, Mingxing Liu, Yu Tu

Institutions: University of South China, Nuclear Power Institute of China

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4407474956

FWCI: 0.657

Cites: 9

Cited by: 1

Related to: 10