LightF3: A Lightweight Fully-Process Formal Framework for Automated Verifying Railway Interlocking Systems-Reference-Cited by-同舟云学术

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

Published:2023-11-30 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
language:
Short-container-title:

Author:

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

Affiliation:

1. East China Normal University, Shanghai, China

2. East China Normal University, Shanghai, China / Shanghai Trusted Industrial Control Platform, Shanghai, China

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3611643.3613874

Reference50 articles.

1. [n. d.]. IC3Ref.. https://github.com/arbrad/IC3ref [n. d.]. IC3Ref.. https://github.com/arbrad/IC3ref

2. Recognizing safety and liveness

3. Patrick Behm , Paul Benoit , Alain Faivre , and Jean-Marc Meynadier . 1999 . Météor: A Successful Application of B in a Large Project. In FM’99 — Formal Methods, Jeannette M . Wing, Jim Woodcock, and Jim Davies (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg . 369–387. isbn:978-3-540-48119-5 Patrick Behm, Paul Benoit, Alain Faivre, and Jean-Marc Meynadier. 1999. Météor: A Successful Application of B in a Large Project. In FM’99 — Formal Methods, Jeannette M. Wing, Jim Woodcock, and Jim Davies (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg. 369–387. isbn:978-3-540-48119-5

4. Yves Bertot and Pierre Castéran . 2013. Interactive theorem proving and program development: Coq’Art: the calculus of inductive constructions . Springer Science & Business Media . Yves Bertot and Pierre Castéran. 2013. Interactive theorem proving and program development: Coq’Art: the calculus of inductive constructions. Springer Science & Business Media.

5. Armin Biere. 2007. The AIGER and-inverter graph (AIG) format version 20071012. Armin Biere. 2007. The AIGER and-inverter graph (AIG) format version 20071012.