Parameterised Boolean Equation Systems (2004)
| Venue: | In Theoretical Computer Science |
| Citations: | 12 - 6 self |
BibTeX
@INPROCEEDINGS{Groote04parameterisedboolean,
author = {Jan Friso Groote and Tim Willemse},
title = {Parameterised Boolean Equation Systems},
booktitle = {In Theoretical Computer Science},
year = {2004},
pages = {332--369},
publisher = {Elsevier}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Boolean equation system are a useful tool for verifying formulas from modal mu-calculus on transition systems (see [18] for an excellent treatment). We are interested in an extension of boolean equation systems with data. This allows to formulate and prove a substantially wider range of properties on much larger and even infinite state systems. In previous works [11, 15] it has been outlined how to transform a modal formula and a process, both containing data, to a so-called parameterised boolean equation system, or equation system for short. In this article we focus on techniques to solve such equation systems.
