Content available in repository
Content available in repository
-
A Thread-Safe Term Library: (with a New Fast Mutual Exclusion Protocol)
Groote, J. F., Laveaux, M. & van Spaendonck, P. H. M., 2022, Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer, p. 422-459 38 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13701 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
1 Citation (Scopus) -
Using the Parallel ATerm Library for Parallel Model Checking and State Space Generation
Groote, J. F., Jilissen, K. H. J., Laveaux, M., van Spaendonck, P. H. M. & Willemse, T. A. C., 2022, A Journey from Process Algebra via Timed Automata to Model Learning. Jansen, N., Stoelinga, M. & van den Bos, P. (eds.). Springer, p. 306-320 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13560 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review
-
A thread-safe Term Library: (with a new fast mutual exclusion protocol)
Groote, J. F., Laveaux, M. & Spaendonck, P. H. M. V., 4 Nov 2021, In: CoRR. abs/2111.02706, 13 p.Research output: Contribution to journal › Article › Academic