An Introduction to Fixpoint Equation Systems

Abstract: In the field of formal methods, parity games are a popular formalism for encoding various kinds of decision problems. An equally expressive notion are Boolean equation systems: a sequence of equations over Boolean variables augmented with fixpoints. In this talk, I will introduce fixpoint equation systems (a generalisation of Boolean equation systems), some of the underlying theory and sketch several possible applications. Fixpoint equation systems have potential as a unifying formalism that generalises many existing formalisms.