The SofCheck Inspector is a static analysis tool for Java and Ada. It statically determines and documents the pre- and postconditions of every method or subprogram it inspects, and uses that information to identify logic flaws, race conditions, and redundant code in an individual Java class or Ada package, a subsystem, or a complete program. TheSofCheck Inspector is produced bySofCheck, Inc. ,a software product company in Burlington, MA.
| Property | Value |
|---|
| dbpprop:abstract
|
- The SofCheck Inspector is a static analysis tool for Java and Ada. It statically determines and documents the pre- and postconditions of every method or subprogram it inspects, and uses that information to identify logic flaws, race conditions, and redundant code in an individual Java class or Ada package, a subsystem, or a complete program. TheSofCheck Inspector is produced bySofCheck, Inc. ,a software product company in Burlington, MA.
|
| dbpprop:hasPhotoCollection
| |
| dbpprop:reference
| |
| rdf:type
| |
| rdfs:comment
|
- The SofCheck Inspector is a static analysis tool for Java and Ada. It statically determines and documents the pre- and postconditions of every method or subprogram it inspects, and uses that information to identify logic flaws, race conditions, and redundant code in an individual Java class or Ada package, a subsystem, or a complete program. TheSofCheck Inspector is produced bySofCheck, Inc. ,a software product company in Burlington, MA.
|
| rdfs:label
| |
| owl:sameAs
| |
| skos:subject
| |
| foaf:page
| |
| is owl:sameAs
of | |
![[RDF Data]](/statics/sw-cube.png)
