RFC2TLA+: Extracting and Verifying Formal Models from RFC Documents using Continuous LLM Feedback
0 Comments
by Guozhen Ding, Kexin Li, Ilya Grishchenko and David Lie
Reference:
Guozhen Ding, Kexin Li, Ilya Grishchenko and David Lie, “RFC2TLA+: Extracting and Verifying Formal Models from RFC Documents using Continuous LLM Feedback”, In Proceedings of the 41st IEEE/ACM International Conference on Automated Software Engineering (ASE), 2026. (To appear)
Bibtex Entry:
@string{ase26="Proceedings of the 41st IEEE/ACM International Conference on Automated Software Engineering (ASE)"}
@inproceedings{ding:ase2026:rfc2tla,
author = {Ding, Guozhen and Li, Kexin and Grishchenko, Ilya and Lie, David},
title = {{RFC2TLA+}: Extracting and Verifying Formal Models from {RFC} Documents using Continuous {LLM} Feedback},
booktitle = ASE26,
year = {2026},
month = oct,
address = {Munich, Germany},
publisher = {Association for Computing Machinery},
location = {Munich, Germany},
numpages = {12},
isbn = {979-8-4007-2882-2},
doi = {10.1145/3832783.3837453},
url = {https://security.csl.toronto.edu/wp-content/uploads/2026/08/gding-ase2026-rfc2tla.pdf},
note = {To appear, (Acceptance 263/1304: 20\%)},
comment = {To appear}
}