Conference
RFC2TLA+: Extracting and Verifying Formal Models from RFC Documents using Continuous LLM Feedback
| Τίτλος: | RFC2TLA+: Extracting and Verifying Formal Models from RFC Documents using Continuous LLM Feedback |
|---|---|
| Συγγραφείς: | Ding, Guozhen, Li, Kexin, Grishchenko, Ilya, Lie, David |
| Πηγή: | Proceedings of the 41st IEEE/ACM International Conference on Automated Software Engineering. :1986-1997 |
| Διαθεσιμότητα: | http://dl.acm.org/doi/10.1145/3832783.3837453 |
| Βάση Δεδομένων: | ACM Full-Text Collection |
| DOI: | 10.1145/3832783.3837453 |
|---|