Publication | Open Access
The dogged pursuit of bug-free C programs
58
Citations
4
References
2021
Year
Popular PlatformProgram CheckingEngineeringCompiler TechnologyVerificationSoftware EngineeringFormal VerificationSoftware AnalysisPanoramic ViewDogged PursuitStatic CheckingComputer EngineeringC Program AnalysisComputer ScienceOptimizing CompilerStatic Program AnalysisSoftware VerificationProgram AnalysisSoftware TestingFormal MethodsParallel ProgrammingSymbolic ExecutionSystem Software
A panoramic view of a popular platform for C program analysis and verification.
| Year | Citations | |
|---|---|---|
Page 1
Page 1