Software Model Checking
Tutorial:Abstract.Wesurveyprinciplesofmodelcheckingtechniquesfortheautomaticanalysisofreactivesystems.TheuseofmodelcheckingisexemplifiedbyananalysisoftheNeedham-Schroederpublickeyprotocol.Wethenformallydefinetransitionsystems,temporallogic,!-automata,andtheirrelationship.Basicmodelchecki
下载地址
用户评论
