Book Chapter10.1007/978-94-007-1125-9_8

Property-Based Dynamic Verification and Test

D. Borrione,Katell Morin-Allory,Yann Oddos-2011-11-04

7

Chat with Paper

AI Agents for this Paper

No abstract available for this paper.

Keywords

DebuggingComputer scienceFunctional verificationIntelligent verificationVerificationHigh-level verificationProperty (philosophy)Formal verification

Chat

Click to start Chat