实时与容错系统中的形式技术／会议录Formal techniques in real-time and fault-tolerant systems

Thisbookconstitutestherefereedproceedingsofthe7thInternationalSymposiumonFormalTechniquesinReal-TimeandFault-TolerantSystems,FTRTFT2002,heldinOldenburg,Germany,inSeptember2002.The17revisedfullpaperspresentedtogetherwith2invitedtutorialsand6invitedpaperswerecarefullyreviewedandselectedfrom39submissions.Thepapersareorganizedintopicalsectionsonsynthesisandscheduling,timedautomata,boundedmodelchecking,verificationandconformancetesting,andUMLmodelsandmodelchecking.