An Effective Tableau System for the Linear Time µ-Calculus


Share/Save/Bookmark

Bradfield, Julian and Esparza, Javier and Mader, Angelika (1996) An Effective Tableau System for the Linear Time µ-Calculus. In: 23rd International Colloquium on Automata, Languages and Programming, ICALP, July 8-12, 1996, Paderborn, Germany (pp. pp. 98-109).

open access
[img]
Preview
PDF
628kB
Abstract:We present a tableau system for the model checking problem of the linear time µ-calculus. It improves the system of Stirling and Walker by simplifying the success condition for a tableau. In our system success for a leaf is determined by the path leading to it, whereas Stirling and Walker's method requires the examination of a potentially infinite number of paths extending over the whole tableau.
Item Type:Conference or Workshop Item
Copyright:©1996 Springer-Verlag
Link to this item:http://purl.utwente.nl/publications/56233
Official URL:http://dx.doi.org/10.1007/3-540-61440-0_120
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page