The Maude LTL model checker and its implementation
Abstract
A model checker typically supports two different levels of specification: (1) a sys-tem specification level, in which the concurrent system to be analyzed is formal-ized; and (2) a property specification level, in which the properties to be model checked—for example, temporal logic formulae—are specified. The Maude LTSimilar works
This paper was published in CiteSeerX.
Having an issue?
Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.