file.pdf (1.15 MB)
Model Checking Algorithms for the u-Calculus
journal contribution
posted on 2003-04-01, 00:00 authored by Sergey Berezin, Edmund M Clarke, Somesh Jha, Will MarreroThe propositional µ-calculus is a powerful language for expressing properties of transition systems by using least and greatest fixpoint operators.