Towards Automating Blockchain Consensus Verification with IsabeLLM
Fields of Study & Subjects
Logic
programming
and type systems
Blockchain Technology Applications and Security
Formal Methods in Verification
Publication details
- Journal / source
- Lecture notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering
- Pages
- 3–18
- Publication date
- 1 January 2026
- Language
- EN