Publication | Closed Access
Full contract verification for ATL using symbolic execution
20
Citations
18
References
2016
Year
EngineeringProgram AnalysisMechanical VerificationSoftware TestingVerificationFormal MethodsSoftware AnalysisFull Contract VerificationComputer-aided VerificationFormal VerificationSoftware Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1