Carsten Immanuel Pardylla

According to our database, Carsten Immanuel Pardylla authored at least 3 papers in 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Experience Report on Formally Verifying Parts of OpenJDK's API with KeY.

Alexander Knüppel, Thomas Thüm, Carsten Pardylla, Ina Schaefer

Proceedings of the Proceedings 4th Workshop on Formal Integrated Development Environment, 2018

Understanding Parameters of Deductive Verification: An Empirical Investigation of KeY.

Alexander Knüppel, Thomas Thüm, Carsten Immanuel Pardylla, Ina Schaefer

Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018

Scalability of Deductive Verification Depends on Method Call Treatment.

Alexander Knüppel, Thomas Thüm, Carsten Pardylla, Ina Schaefer

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018