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
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo;2025 IEEE/ACM Requirements Engineering for AI-powered SoftwarE (RAISE);2025-05-03
2. Towards Secure and Interactive Smart Contract Code from Formal Symboleo Specifications;2025 IEEE/ACM 47th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion);2025-04-27
3. Engineering Smart Contracts with Symboleo: Progress Report 2024;2024 34th International Conference on Collaborative Advances in Software and COmputiNg (CASCON);2024-11-11
4. Social Dependence Relationships and Their Role in Social Modelling Languages;Social Modeling Using the i* Framework;2024