IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus

Elliot Jones, William Knottenbelt

Advances in Artificial Intelligence (AI) have led AI for Theorem Proving to become a promising means of formally verifying computer systems. Whilst formal verification is tradition…