Conference
RFC2TLA+: Extracting and Verifying Formal Models from RFC Documents using Continuous LLM Feedback
| Title: | RFC2TLA+: Extracting and Verifying Formal Models from RFC Documents using Continuous LLM Feedback |
|---|---|
| Authors: | Ding, Guozhen, Li, Kexin, Grishchenko, Ilya, Lie, David |
| Source: | Proceedings of the 41st IEEE/ACM International Conference on Automated Software Engineering. :1986-1997 |
| Availability: | http://dl.acm.org/doi/10.1145/3832783.3837453 |
| Database: | ACM Full-Text Collection |
| DOI: | 10.1145/3832783.3837453 |
|---|