Work

5G Specifications Formal Verification with Over-the-Air Validation: Prompting is All You Need

Year: 2024

Type: conference-paper

Source: IEEE Military Communications Conference (MILCOM)

DOI: 10.1109/milcom61039.2024.10773849

Authors: Tom Wray, Ying Wang

Institution: Stevens Institute of Technology

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

SDG: Industry, innovation and infrastructure

Open Access status: closed

OpenAlex ID: W4405104092

FWCI: 5.911

Cites: 23

Cited by: 9

Related to: 10