Book Chapter10.1007/978-3-319-04915-1_1

Combining Specification-Based Testing, Correctness Proof, and Inspection for Program Verification in Practice

Shaoying Liu,Shin Nakajima-2014-01-01-Lecture notes in computer science

9

Chat with Paper

AI Agents for this Paper

No abstract available for this paper.

Keywords

CorrectnessComputer scienceProgramming languageHoare logicProcess (computing)Complement (music)Program analysisAlgorithm

Chat

Click to start Chat