UPPAAL建模工具教程 详细版

UPPAAL建模工具教程: 1Introduction ThisdocumentisintendedtobeusedbynewcomerstoUppaalandverification.Studentsor engineerswithlittlebackgroundinformalmethodsshouldbeabletouseUppaalforpractical purposesafterthistutorial.