How the design of JML accommodates both runtime assertion checking and formal verification - Concepedia

Concepedia

Publication | Closed Access

How the design of JML accommodates both runtime assertion checking and formal verification

188

Citations

58

References

2004

Year

Gary T. Leavens, Yoonsik Cheon, Curtis Clifton, Clyde Ruby, David R. Cok

Science of Computer Programming

EngineeringRuntime VerificationProgram AnalysisRuntime Assertion CheckingSoftware TestingVerificationMechanical VerificationFormal MethodsSoftware AnalysisComputer-aided VerificationFormal TechniqueComputer ScienceFormal VerificationSoftware Verification

References

	Year	Citations

Page 1

Page 1