Publication | Open Access
Varieties of Static Analyzers: A Comparison with ASTREE
51
Citations
40
References
2007
Year
Unknown Venue
Program CheckingEngineeringVerificationSoftware EngineeringRuntime ErrorsEmpirical AlgorithmicsSoftware AnalysisFormal VerificationSystems EngineeringStatic CheckingRuntime VerificationStatic AnalysisComputer EngineeringComputer ScienceStatic Program AnalysisAutomatic Static AnalyzerProgram AnalysisSoftware TestingFormal MethodsReal-time SystemsStatic AnalyzersCharacteristic PropertiesSymbolic ExecutionSystem Software
We discuss the characteristic properties of ASTREE, an automatic static analyzer for proving the absence of runtime errors in safety-critical real-time synchronous control command C programs, and compare it with a variety of other program analysis tools.
| Year | Citations | |
|---|---|---|
Page 1
Page 1