Home

LofA: A Logic of Arguments is a simple, feature-based logic developed by
Dr. Corin Gurr. LofA can be used to represent, evaluate and negotiate
dependability arguments for highly dependable systems.

LofA-ware is a Java application which supports the construction, editing
and evaluation of LofA arguments. The application was developed by Will
Ellis as his final year project for his BSc Computer Science degree.