Contract Specification and Verification with the Symboleo Language taner.dursun — 23/03/2021 add comment Sözleşmelerin formal yöntemlerle oluşturulması, otomatik analiz edilebilirlik ve uygulayıcı akıllı kontratların otomatik olarak üretilmesi, izlenmesi […]
BCTR Rapor: “Blokzinciri Teknolojisi Terminoloji Çalışması” 9 Temmuz 2019 Blockchain Türkiye Platformu (BCTR), “Hukuk, Düzenlemeler ve Kamu İlişkileri Çalışma Grubu” tarafından hazırlanan “Blokzinciri Teknolojisi Terminoloji […]
Blockchain nedir? Oldukça basit gibi görünen ancak cevap arayışında giderek karmaşık hale gelebilen “Blockchain nedir?” sorusunun yanıt arayışında, Ahmet Usta ve Serkan Doğantekin tarafından kaleme alınan Blockchain 101 v.2‘nin ilgili […]
1 Giriş Kriptoparalara olan ilgide yaşanan patlamadan sonra, altındaki teknoloji olan Blokzincir, her sektörde merak ve gündem oluşturmuştur. Buna rağmen Blokzincir, hala hem iş hem teknoloji […]