Search

Filters

Use filters to refine the search results.

Now showing items 1-2 of 2

Model Learning and Model Checking of SSH Implementations

Fiterau-Brostean, P. ; Lenarts, T.; Poll, E. ; Ruiter, J. de ; Vaandrager, F.W. ; Verleg, P.; Ruiter, J.E.J. de

2017, Article in monograph or in proceedings (Erdogmus, H. (ed.), SPIN 2017: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA — July 13 - 14, 2017, pp. 142-151)
An O(mlog n) Algorithm for Computing Stuttering Equivalence and Branching Bisimulation

Groote, J.F.; Jansen, D.N. ; Keiren, J.J.A. ; Wijs, A.J.

2017, Article / Letter to editor (ACM Transactions on Computational Logic, vol. 18, iss. 2, (2017), pp. 1-34)