Work

Automatic kernel code synthesis and verification

Year: 2020

Type: article

Source: Computers & Security

DOI: 10.1016/j.cose.2020.101733

Authors: Qiang Zhang, Jianzhong Qiao, Qingyang Meng, Yu Chen

Institutions: Northeastern University, Tsinghua University

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W3002619049

FWCI: 0.56

Cites: 50

Cited by: 6

Related to: 10