Billy Thornton

According to our database, Billy Thornton authored at least 3 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

Deductive verification of solidity smart contracts with SSCalc.

Diego Marmsoler, Billy Thornton

Sci. Comput. Program., 2025

2024

Type Safety for Isabelle/Solidity.

Billy Thornton, Diego Marmsoler

Proceedings of the Theoretical Aspects of Computing - ICTAC 2024, 2024

2023

SSCalc: A Calculus for Solidity Smart Contracts.

Diego Marmsoler, Billy Thornton

Proceedings of the Software Engineering and Formal Methods - 21st International Conference, 2023