Model Checking of Distributed Systems with Affine Data Structures

Abstract

A new data structure is suggested for symbolic model checking of distributed systems defined by linear functions of integer variables.

Keywords

• symbolic model checking
• distributed systems