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