Sign in
LightF3: A Lightweight Fully-Process Formal Framework for Automated Verifying Railway Interlocking Systems.
Yibo Dong
Xiaoyu Zhang
Yicong Xu
Chang Cai
Yu Chen
Weikai Miao
Jianwen Li
Geguang Pu
Published in:
ESEC/SIGSOFT FSE (2023)
Keyphrases
</>
lightweight
distributed systems
building blocks
process model
communication infrastructure
expert systems
wireless sensor networks
complex systems
development environments
embedded systems
formal methods
dos attacks