Message from the owner(s)
SirHCA v.1.0 is a little engine of proof written in Java. SQA was ensured using JUnit and JProfiler. SirHCA deals with the empty theory, the theory of list a la Shostak and the theory of encryption using graph-based deduction. The originality of SirHCA lies in its graphical user interface that pictures the graph at each step of the transformation process and permits its educational use.
Use Patent Claims
Include Install Instructions
These details are provided for information only. No information here is legal advice and should not be used as such.