2 Hits in 10.8 sec

Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Extended Version) [article]

David Richter, David Kretzler, Pascal Weisenburger, Guido Salvaneschi, Sebastian Faust, Mira Mezini
2022 arXiv   pre-print
Decentralized applications (dApps) consist of smart contracts that run on blockchains and clients that model collaborating parties. dApps are used to model financial and legal business functionality.  ...  In this paper, we present Prisma, a language for tierless decentralized applications, where the contract and its clients are defined in one unit and pairs of send and receive actions that "belong together  ...  In Tiziana Margaria and Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation: Applications -9th International Symposium on Leveraging Applications of Formal  ... 
arXiv:2205.07780v1 fatcat:plscefwjtjdvjmpzjzvqfetqhi

On the connection of probabilistic model checking, planning, and learning for system verification [article]

Michaela Klauck, Universität Des Saarlandes
state-of-the-art model checkers and even outperforms them on very large state spaces.  ...  The versatility of DSMC is exemplified in a number of case studies on Racetrack, an MDP benchmark designed for this purpose, flexibly modeling the autonomous driving challenge.  ...  Acknowledgements This work was partially supported by the German Research Foundation (DFG) under grant No. 389792660, as part of TRR 248 -CPEC (Center for Perspicuous Computing), see  ... 
doi:10.22028/d291-36816 fatcat:u7qmhd3bozardetgqgh2hcaije