2011 | OriginalPaper | Buchkapitel
Multi-Core LTSmin: Marrying Modularity and Scalability
verfasst von : Alfons Laarman, Jaco van de Pol, Michael Weber
Erschienen in: NASA Formal Methods
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
The LTS
min
toolset provides multiple generation and on-the-fly analysis algorithms for large graphs (
state spaces
), typically generated from concise behavioral specifications (
models
) of systems. LTS
min
supports a variety of input languages, but its key feature is modularity: language frontends, optimization layers, and algorithmic backends are completely decoupled, without sacrificing performance. To complement our existing symbolic and distributed model checking algorithms, we added a multi-core backend for checking safety properties, with several new features to improve efficiency and memory usage: low-overhead load balancing, incremental hashing and scalable state compression.