@article{peter-acta-2025, 
	author = {Péter, Bertalan Zoltán and Ádám, Zsófia and Micskei, Zoltán and Kocsis, Imre}, 
	title = {Smart Contract in the Loop: Fault Impact Assessment for Distributed Ledger Technologies},
    abstract = {Due to their decentralized and trustless nature, blockchain and distributed ledger technologies are increasingly used in several domains, including critical applications. The behavior of such blockchain-integrated systems is typically driven by smart contracts. However, smart contracts are application-specific software and may contain faults with severe system-level impacts. This is especially true in the case of the extensively used Hyperledger Fabric (HLF) platform, where smart contracts are written in general-purpose languages (Java, among others), and applications can go far beyond handling virtual-currency-like assets. In this work, we present a novel formal-verification-based approach to smart contract verification and a high-level empirical model of the HLF platform. Our Smart Contract in the Loop (SCIL) method uses a model checker (Java Pathfinder) to check whether specific error properties hold for a given smart contract, while a predefined combination of platform-level fault modes is active. We facilitate the checking of HLF smart contracts without modification and enable the propagation or non-propagation of platform faults through the smart contracts to the system failure level.}, 
	journal = {Acta Cybernetica}, 
	volume = {27}, 
	number = {2}, 
	DOI = {10.14232/actacyb.312501}, 	
	year={2025},
	pages={197–220},
}