Research and Development of Program Credibility Automatic Verification Tool

      The  research  team  of  SWJTU  developed  the  Scavel  C  Program automatic verification tool featuring the core technology of automatic inference.  This  tool  can  be  used  to  verify  eight  kinds  of  defects effectively, including array overflow, division by zero, invalid pointer,  and  arithmetic  overflow for C  Language  Program  as  well  as  PLC programs.