Automatic Analysis of TiMo Systems in PAT
Engineering of Complex Computer Systems（2013）
摘要
TiMo is a process calculus for mobile systems where timers could be to used to control process mobility and interaction. Despite its syntactic simplicity, TiMo is able to describe complex systems. Interesting properties of such systems refers to process migration, time constraints, bounded liveness and optimal reachability. In this work we describe a tool, called TiMo@PAT, developed by using Process Analysis Toolkit (PAT), an extensible platform for model checkers. We illustrate the capability of TiMo@PAT by analyzing some properties of a distributed system.
更多查看译文
关键词
bounded liveness,model checker,timo systems,complex system,extensible platform,process mobility,automatic analysis,process analysis toolkit,process calculus,interesting property,optimal reachability,mobile system,servers,distributed processing,model checking,distributed system,process algebra,process migration,process control,semantics,mobile computing
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要