Process Behaviour: Formulae vs. Tests (Extended Abstract)
EXPRESS(2010)
摘要
Process behaviour is often defined either in terms of the tests they satisfy,
or in terms of the logical properties they enjoy. Here we compare these two
approaches, using extensional testing in the style of DeNicola, Hennessy, and a
recursive version of the property logic HML. We first characterise subsets of
this property logic which can be captured by tests. Then we show that those
subsets of the property logic capture precisely the power of tests.
更多查看译文
关键词
satisfiability
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要