file.pdf (1.15 MB)
Download file

Model Checking Algorithms for the u-Calculus

Download (1.15 MB)
journal contribution
posted on 2003-04-01, 00:00 authored by Sergey Berezin, Edmund M Clarke, Somesh Jha, Will Marrero
The propositional µ-calculus is a powerful language for expressing properties of transition systems by using least and greatest fixpoint operators.

History

Date

2003-04-01

Usage metrics

Exports