Software Engineering Empirical Research Radar

LightF3: A Lightweight Fully-Process Formal Framework for Automated Verifying Railway Interlocking Systems.

Paper detail page in SEER Radar.

Authors

Yibo Dong 0001, Xiaoyu Zhang, Yicong Xu, Chang Cai, Yu Chen, Weikai Miao, Jianwen Li, Geguang Pu

Venue / Year

FSE 2023

Topics

Program Analysis / Verification / Formal Methods

Abstract / Summary

Summary pending. This page currently provides paper metadata; an abstract or short summary will be added when available.

External Links

DOI / Publisher

PDF

Local PDF is not available on SEER Radar yet. When a public source is recorded, this page will add a local reading link with source attribution.