A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Filters
Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Extended Version)
[article]
2022
arXiv
pre-print
Preserved Fulltext
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]
2022
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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 https://perspicuous-computing.science ...
doi:10.22028/d291-36816
fatcat:u7qmhd3bozardetgqgh2hcaije