Toggle navigation
Contact us
Intranet login
About us
Overview
History
Organization
Partnerships
Facts and Figures
Start-ups & Spin-offs
IT Sites
IT Aveiro
IT Coimbra
IT Lisboa
IT Branch - Covilhã
IT Branch - ISCTE-IUL
IT Branch - Leiria
IT Branch - Porto
Research & Innovation
Thematic Lines
Lab Infrastructure
Research Impact
Research Highlights
Technology Transfer
News & Events
News
Coming Events
Past Events
Outreach Activities
Clipping
Newsletters
Work With Us
Post-doc positions
Other research positions
Other contract positions
Why choose IT
Testimonials
Resources
Annual Reports
Quality Policy
Code of Conduct
Gender Equality
Sustainability
Privacy Policy
Support Staff
Complaints Channel
Press Kit
Search!
Creating and sharing knowledge for telecommunications
Home
Thematic Lines
Networks and Services
Formal verification of Ethereum smart contracts using Isabelle/HOL
Close
<p>It appears your web browser doesn't support iframes.</p>
Networks and Services
CONCLUDED MSC THESIS
Formal verification of Ethereum smart contracts using Isabelle/HOL
Maria Saraiva de Campos Mendes Ribeiro
Supervisors:
Pedro Miguel dos Santos Alves Madeira Adão
,
Paulo Alexandre Carreira Mateus
University:
Instituto Superior Técnico
Keywords:
formal verification, Isabelle/HOL, Hoare logic, Ethereum, blockchain, smart contracts
Abstract:
PDF download
© 2025, IT - Instituto de Telecomunicações | All Rights Reserved
