Cited By
View all- Marmsoler DThornton B(2025)Deductive Verification of Solidity Smart Contracts with SSCalcScience of Computer Programming10.1016/j.scico.2025.103267(103267)Online publication date: Jan-2025
- Davydov ALarionov ANagul N(2024)Analysis and Control of Partially Observed Discrete-Event Systems via Positively Constructed FormulasComputation10.3390/computation1205009512:5(95)Online publication date: 9-May-2024
- ter Beek MChapman RCleaveland RGaravel HGu Rter Horst IKeiren JLecomte TLeuschel MRozier KSampaio ASeceleanu CThomas MWillemse TZhang L(2024)Formal Methods in IndustryFormal Aspects of Computing10.1145/368937437:1(1-38)Online publication date: 21-Aug-2024
- Show More Cited By