Multi-Core LTSmin: Marrying Modularity and Scalability
| Autor: | Laarman, Alfons, van de Pol, Jan Cornelis, Weber, M., Bobaru, Michaela, Havelund, Klaus, Holzmann, Gerard J., Joshi, Rajeev |
|---|---|
| Rok vydání: | 2011 |
| Předmět: |
Model checking
Multi-core processor Computer science EWI-20004 Distributed computing Hash function IR-77023 tree-based algorithm Load balancing (computing) Input language compression Parallel FMT-MC: MODEL CHECKING Hash table Multi-Core Model Checking incremental hashing Distributed model checking Scalability METIS-277604 |
| Zdroj: | Lecture Notes in Computer Science ISBN: 9783642203978 NASA Formal Methods Proceedings of the Third International Symposium on NASA Formal Methods, NFM 2011, 506-511 STARTPAGE=506;ENDPAGE=511;TITLE=Proceedings of the Third International Symposium on NASA Formal Methods, NFM 2011 |
| ISSN: | 0302-9743 |
| Popis: | The LTSmin toolset provides multiple generation and on-the-fly analysis algorithms for large graphs (state spaces), typically generated from concise behavioral specifications (models) of systems. LTSmin 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|