file.pdf (1.15 MB)
Download file

Model Checking Algorithms for the u-Calculus

Download (1.15 MB)
journal contribution
posted on 01.04.2003, 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

01/04/2003

Usage metrics

Exports