Publication | Closed Access
What can you verify and enforce at runtime?
151
Citations
27
References
2011
Year
Program CheckingEngineeringRuntime VerificationProgram AnalysisSoftware TestingVerificationFormal MethodsSoftware AnalysisComputer ScienceFormal VerificationSystem SoftwareData SecuritySoftware Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1