Funder
King Abdulaziz University
Ontario Research Foundation
HORIZON EUROPE Framework Programme
PNRR
Natural Sciences and Engineering Research Council of Canada
Social Sciences and Humanities Research Council of Canada
Publisher
Springer Science and Business Media LLC
Reference53 articles.
1. Aberer, K., Hauswirth, M., Salehi, A.: Middleware support for the “Internet of Things”. In: 5th GI/ITG KuVS Fachgespräch “Drahtlose Sensornetze”, pp. 15–20. Universität Stuttgart, Germany, (2006). https://elib.uni-stuttgart.de/bitstream/11682/2604/1/TR_2006_07.pdf
2. Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Montali, M., Torroni, P.: Expressing and verifying business contracts with abductive logic programming. Int. J. Electron. Commer. 12(4), 9–38 (2008). https://doi.org/10.2753/JEC1086-4415120401
3. Alqahtani, S.M., He, X., Gamble, R. F., Papa, M.: Formal verification of functional requirements for smart contract compositions in supply chain management systems. In: 53rd Hawaii International Conference on System Sciences, HICSS 2020, pp. 1–10, (2020). https://doi.org/10.24251/HICSS.2020.650
4. Antonino, P., Roscoe, A. W.: Formalising and verifying smart contracts with Solidifier: a bounded model checker for Solidity. CoRR, (2020). arxiv: 2002.02710
5. Barrett, C. W., Sebastiani, R., Seshia, S. A., Tinelli, C.: Satisfiability modulo theories. In: Handbook of Satisfiability, volume 185 of Frontiers in Artificial Intelligence and Applications, pp. 825–885. IOS Press, (2009). https://doi.org/10.3233/978-1-58603-929-5-825