InterpretationVerification抽象Checking
InterpretationInternationalVerificationChecking
第五届InternationalVerificationHardware
Verification安全性TemporalReactive
9781013271151VerificationComputer印刷
InternationalVerificationConferenceComputer
C++实践者Practitioner'sVerification
建模VerificationModelling验证
自动机时间PetriVerification
行时InternationalVerification研讨
定理VerificationAutomatedHardware
InternationalVerificationTechnologyAutomated
InterpretationInternationalVerification抽象
并发VerificationSequentialConcurrent
求解SatisfiabilityVerificationValidation
新兴ImplementationVerificationInformation
VerificationIntegratedSoftwareAnalysis
ApplicationsVerificationLeveragingValidation
VerificationComputationScientificAutomatic
SystemcVerificationSimulationEfficient
建模SpecificationVerificationModelling
SystemverilogVerificationDescriptionRtl
Verification验证Level用于
行时VerificationProcessors处理器
Verification现状验证趋势
VerificationSequentialAutomaticProcesses
Verification仿真SimulationElectronic
VerificationFundamentals调试Soc
军备核查Proliferation扩散
医药图书核查毒素公约
开放式VerificationMethodologyCookbook
形式化方法VerificationAutomatedCritical
InternationalVerificationHardwareSoftware
IntroductionVerificationHardware验证
