Publication | Closed Access

Automatic program verification I: A logical basis and its implementation

Formal SpecificationEngineeringProgram CheckingAutomated ReasoningProgram AnalysisSoftware TestingVerificationFormal MethodsSoftware AnalysisSoftware EngineeringAutomatic Program VerificationFormal TechniqueComputer-aided VerificationComputer ScienceFormal VerificationSystem SoftwareSoftware Verification