Contract Specification and Verification with the Symboleo Language

Sözleşmelerin formal yöntemlerle oluşturulması, otomatik analiz edilebilirlik ve uygulayıcı akıllı kontratların otomatik olarak üretilmesi, izlenmesi gibi çeşitli faydalar sağlayabilir. Aşağıda alıntılanan, bu konudaki çalışmalardan sadece birisi. Legal contracts specify the terms and conditions... Read more »

Blokzincir Teknolojisi

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 alanlarından pek çok uzmanın bile doğru... Read more »