The Maude LTL Model Checker (2002)
by
Steven Eker
,
José Meseguer
,
Ambarish Sridharanarayanan
| Citations: | 46 - 12 self |
BibTeX
@MISC{Eker02themaude,
author = {Steven Eker and José Meseguer and Ambarish Sridharanarayanan},
title = {The Maude LTL Model Checker},
year = {2002}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
The Maude LTL model checker supports on-the-y explicit-state model checking of concurrent systems expressed as rewrite theories with performance comparable to that of current tools of that kind, such as SPIN. This greatly expands the range of applications amenable to model checking analysis. Besides traditional areas well supported by current tools, such as hardware and communication protocols, many new applications in areas such as rewriting logic models of cell biology, or nextgeneration reective distributed systems can be easily speci ed and model checked with our tool.
