A unified view of parameterized verification of abstract models of broadcast communication

作者：Delzanno Giorgio^*

来源：International Journal on Software Tools for Technology Transfer, 2016, 18(5): 475-493.

DOI：10.1007/s10009-016-0412-7

• Parameterized verification
• Model checking
• Distributed systems

We give a unified view of different parameterized models of concurrent and distributed systems with broadcast communication based on transition systems. Based on the resulting formal models, we discuss related verification methods and tools based on abstractions and symbolic state exploration.

• 出版日期2016-10