Author:
Laarman Alfons,Faragó David
Publisher
Springer Berlin Heidelberg
Reference27 articles.
1. Baier, C., Katoen, J.-P.: Principles of Model Checking. The MIT Press (2008)
2. Barnat, J., Brim, L., Rockai, P.: Parallel Partial Order Reduction with Topological Sort Proviso. In: SEFM, pp. 222–231. IEEE Computer Society (2010)
3. Lecture Notes in Computer Science;J. Barnat,2009
4. Barnat, J., Havlíček, J., Ročkai, P.: Distributed LTL Model Checking with Hash Compaction. In: PASM/PDMC. ENTCS. Elsevier (2012)
5. van der Berg, F., Laarman, A.: SpinS: Extending LTSmin with Promela through SpinJa. In: PASM/PDMC. ENTCS. Elsevier (2012)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Model checking with generalized Rabin and Fin-less automata;International Journal on Software Tools for Technology Transfer;2019-02-25
2. Combining Parallel Emptiness Checks with Partial Order Reductions;Formal Methods and Software Engineering;2019
3. Parallel Model Checking Algorithms for Linear-Time Temporal Logic;Handbook of Parallel Constraint Reasoning;2018
4. Multi-core on-the-fly SCC decomposition;Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming;2016-02-27
5. LTSmin: High-Performance Language-Independent Model Checking;Tools and Algorithms for the Construction and Analysis of Systems;2015