Login / Signup
Carsten Pardylla
Publication Activity (10 Years)
Years Active: 2018-2018
Publications (10 Years): 2
Top Topics
Application Programming Interface
High Efficiency
Verification Method
Top Venues
F-IDE@FLoC
ISoLA (4)
</>
Publications
</>
Alexander Knüppel
,
Thomas Thüm
,
Carsten Pardylla
,
Ina Schaefer
Experience Report on Formally Verifying Parts of OpenJDK's API with KeY.
F-IDE@FLoC
(2018)
Alexander Knüppel
,
Thomas Thüm
,
Carsten Pardylla
,
Ina Schaefer
Scalability of Deductive Verification Depends on Method Call Treatment.
ISoLA (4)
(2018)