Research on Java Automatic Simplified Modeling Based on Source Code Dependency Analysis

Program model checking is an effective technique for ensuring the reliability of software systems. In collaborative systems, the presence of the state space explosion poses difficulties for model checking. In the program, the values of variables represent the program’s state. The property formula fo... View More