Project Bali

[Bali map]

Project Bali has been concerned with the formalization of various aspects of the programming language Java in the theorem prover Isabelle/HOL.

[Isabelle logo]

Project State


Publications (papers, slides, Isabelle sources)

Latest Isabelle Theories

Project Members

Bali was funded by the DFG. It is a descendant of The "Deduktion" Project in München.

David von Oheimb
URL:, Last modified: Sun Sep 18 19:22:52 MEST 2005