Institute of Theoretical Informatics (ITI) – Application-oriented Formal Verification
  • EN
Institut für Theoretische Informatik (ITI) – Anwendungsorientierte Formale Verifikation
Institute of Theoretical Informatics (ITI) – Application-oriented Formal Verification
Team
Jonas Schiffl

Jonas Schiffl

Jonas Schiffl M.Sc. Jonas Schiffl - Researcher / PhD Student
Am Fasanengarten 5
Building 50.34
Office 226
76131 Karlsruhe
Germany

Tel.: + 49 721 608-47318
Fax: + 49 721 608-44021
Email: jonas schifflRjb4∂kit edu

Projects

Teaching



Publications

2019
Title Author(s) Source
Smart Contracts: Application Scenarios for Deductive Program VerificationBernhard Beckert
Jonas Schiffl
Mattias Ulbrich		1st Workshop on Formal Methods for Blockchains (FMBC 2019) hosted by the 3rd Formal Methods World Congress (FM’19)
2018
Title Author(s) Source
Specification and Verification of Hyperledger Fabric ChaincodeJonas SchifflKarlsruhe Institute of Technology (December 2018)
Formal Specification and Verification of Hyperledger Fabric ChaincodeBernhard Beckert
Mihai Herda
Michael Kirsten
Jonas Schiffl		3rd Symposium on Distributed Ledger Technology (SDLT-2018) co-located with ICFEM 2018: the 20th International Conference on Formal Engineering Methods
2017
Title Author(s) Source
Proving JDK's Dual Pivot Quicksort CorrectBernhard Beckert
Jonas Schiffl
Peter H. Schmitt
Mattias Ulbrich		9th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2017)
2016
Title Author(s) Source
Dual Pivot Quicksort: Specification and Verification Using KeYJonas SchifflKarlsruhe Institute of Technology (May 2016)