Towards LLM-driven Automated Verification of Best Practices in Digital Public Infrastructures
| dc.contributor.author | Markovic, Milan | |
| dc.contributor.author | Sripada, Somayajulu | |
| dc.contributor.author | Chakrabart, Sujit Kumar | |
| dc.contributor.author | Diddigi, Raghuram Bharadwaj | |
| dc.contributor.institution | University of Aberdeen.Trusted Things and Communities | en |
| dc.contributor.institution | University of Aberdeen.Computing Science | en |
| dc.contributor.institution | University of Aberdeen.National Decommissioning Centre | en |
| dc.contributor.institution | University of Aberdeen.Computational Linguistics at Aberdeen | en |
| dc.date.accessioned | 2024-10-17T09:57:01Z | |
| dc.date.available | 2024-10-17T09:57:01Z | |
| dc.date.issued | 2024-10-17 | |
| dc.description | Acknowledgments We thank Aishwarya Narayan (Dvara Research) for her support | en |
| dc.description.status | Peer reviewed | en |
| dc.format.extent | 5 | |
| dc.format.extent | 168519 | |
| dc.identifier | 302565617 | |
| dc.identifier | fd2a9a03-82f9-4976-9502-5b633e3da250 | |
| dc.identifier | 85210045900 | |
| dc.identifier.citation | Markovic, M, Sripada, S, Chakrabart, S K & Diddigi, R B 2024, 'Towards LLM-driven Automated Verification of Best Practices in Digital Public Infrastructures', CEUR Workshop Proceedings, vol. 3822, pp. 19-23. < https://ceur-ws.org/Vol-3822/short2.pdf > | en |
| dc.identifier.issn | 1613-0073 | |
| dc.identifier.other | ORCID: /0000-0002-5428-8383/work/181279674 | |
| dc.identifier.uri | https://hdl.handle.net/2164/24417 | |
| dc.identifier.url | http://www.scopus.com/inward/record.url?scp=85210045900&partnerID=8YFLogxK | en |
| dc.identifier.url | https://ceur-ws.org/Vol-3822/ | en |
| dc.identifier.url | https://ceur-ws.org/Vol-3822/short2.pdf | en |
| dc.language.iso | eng | |
| dc.relation.ispartof | CEUR Workshop Proceedings | en |
| dc.subject | SDG 9 - Industry, Innovation, and Infrastructure | en |
| dc.subject | Digital Public Infrastructures | en |
| dc.subject | Infrastructure Analysis, Large Language Model | en |
| dc.subject | Formal Verification | en |
| dc.subject | QA75 Electronic computers. Computer science | en |
| dc.subject | General Computer Science | en |
| dc.subject.lcc | QA75 | en |
| dc.title | Towards LLM-driven Automated Verification of Best Practices in Digital Public Infrastructures | en |
| dc.type | Journal item | en |
Files
Original bundle
1 - 1 of 1
- Name:
- Markovic_etal_SICSA_Towards_LLM_Driven_AAM.pdf
- Size:
- 164.57 KB
- Format:
- Adobe Portable Document Format