Here is an abstract for an academic project title for computer science and engineering JC Verify is a Java code verifier. It will check your Java code and find bugs, inconsistencies and synchronization problems by doing data flow analysis and building lock graph. It also is a java code editor. Technologies: JFC, IO Streams, Threads