Fighting State Space Explosion: Review and Evaluation-Reference-Cited by-同舟云学术

Fighting State Space Explosion: Review and Evaluation

Published:2009 Issue: Volume: Page:37-52
ISSN:0302-9743
Container-title:Formal Methods for Industrial Critical Systems
language:
Short-container-title:

Author:

Pelánek Radek

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-03240-0_7

Reference74 articles.

1. Barnat, J., Brim, L., Černá, I.: Property driven distribution of nested DFS. In: Proc. of Workshop on Verification and Computational Logic, number DSSE-TR-2002-5 in DSSE Technical Report, pp. 1–10. University of Southampton, UK (2002)

2. Barnat, J., Brim, L., Chaloupka, J.: Parallel breadth-first search LTL model-checking. In: Proc. of Automated Software Engineering (ASE 2003), pp. 106–115. IEEE Computer Society, Los Alamitos (2003)

3. Barnat, J., Brim, L., Chaloupka, J.: From distributed memory cycle detection to parallel LTL model checking. ENTCS 133(1), 21–39 (2005)

4. Lecture Notes in Computer Science;J. Barnat,2007

5. Lecture Notes in Computer Science;J. Barnat,2001

Cited by 48 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Offline and online energy-efficient monitoring of scattered uncertain logs using a bounding model;Logical Methods in Computer Science;2024-01-11

2. Mobility-aware multi-user service placement and resource allocation in edge computing;Computer Networks;2023-11

3. Symbolic Observation Graph-Based Generation of Test Paths;Tests and Proofs;2023

4. Performance Modeling of Scalable Resource Allocations with the Imperial PEPA Compiler;2022 21st International Symposium on Parallel and Distributed Computing (ISPDC);2022-07

5. Towards an Integrated Tool Support for the Analysis of IOPT Nets Using the Spin Model Checker;2022 IEEE 31st International Symposium on Industrial Electronics (ISIE);2022-06-01