Jonas Schiffl
Jonas Schiffl
Bestätigte E-Mail-Adresse bei kit.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Formal specification and verification of hyperledger fabric chaincode
B Beckert, M Herda, M Kirsten, J Schiffl
3rd Symposium on Distributed Ledger Technology (SDLT-2018) co-located with ICFEM, 2018
112018
Proving jdk’s dual pivot quicksort correct
B Beckert, J Schiffl, PH Schmitt, M Ulbrich
Working Conference on Verified Software: Theories, Tools, and Experiments, 35-48, 2017
102017
Smart Contracts: Application Scenarios for Deductive Program Verification
B Beckert, J Schiffl, M Ulbrich
International Symposium on Formal Methods, 293-298, 2019
2019
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–3