Login / Signup
Silvio Degenhardt
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 1
Top Topics
Deterministic Finite Automaton
Dynamic Analysis
Automated Verification
Model Checking
Top Venues
FESCA@ETAPS
</>
Publications
</>
Diego Marmsoler
,
Silvio Degenhardt
Verifying Patterns of Dynamic Architectures using Model Checking.
FESCA@ETAPS
(2017)