Login / Signup
Patrick Verleg
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 1
Top Topics
Bayesian Networks
Temporal Properties
Verification Method
Model Checking
Top Venues
SPIN
</>
Publications
</>
Paul Fiterau-Brostean
,
Toon Lenaerts
,
Erik Poll
,
Joeri de Ruiter
,
Frits W. Vaandrager
,
Patrick Verleg
Model learning and model checking of SSH implementations.
SPIN
(2017)