英文原版Deductive Software Verification The KeY Book 1st Edition

Staticanalysisofsoftwarewithdeductivemethodsisahighlydynamicfieldofresearchonthevergeofbecomingamainstreamtechnologyinsoftwareengineering.Itconsistsofalargeportfolioof-mostlyfullyautomated-analyses:formalverification,testgeneration,securityanalysis,visualiz