Publisher
Springer Nature Switzerland
Reference41 articles.
1. Lecture Notes in Computer Science;E Amparore,2019
2. Amrani, M., Lúcio, L., Bibal, A.: ML + FV = $$\heartsuit $$? A Survey on the Application of Machine Learning to Formal Verification. arXiv:1806.03600 (2018). http://arxiv.org/abs/1806.03600
3. Lecture Notes in Computer Science;A Aziz,1996
4. Barnat, J., Brim, L., Ceška, M., Lamr, T.: CUDA accelerated LTL model checking. In: 2009 15th International Conference on Parallel and Distributed Systems, pp. 34–41 (2009). https://doi.org/10.1109/ICPADS.2009.50. ISSN 1521-9097
5. Barnat, J., Bauch, P., Brim, L., Češka, M.: Designing fast LTL model checking algorithms for many-core GPUs. J. Parallel Distrib. Comput. 72(9), 1083–1097 (2012). https://doi.org/10.1016/j.jpdc.2011.10.015. https://www.sciencedirect.com/science/article/pii/S0743731511002140