AutoProof: auto-active functional verification of object-oriented programs - Concepedia

Concepedia

Publication | Closed Access

AutoProof: auto-active functional verification of object-oriented programs

28

Citations

10

References

2016

Year

Carlo A. Furia, Martín Nordio, Nadia Polikarpova, Julian Tschannen

International Journal on Software Tools for Technology Transfer

Program CheckingEngineeringRuntime VerificationProgram AnalysisSoftware TestingVerificationFormal MethodsAuto-active Functional VerificationComputer ScienceFormal VerificationSoftware AnalysisSoftware Verification

References

	Year	Citations

Page 1