Search
Now showing items 1-7 of 7
Tainting in Smart Contracts: Combining Static and Runtime Verification
(Lecture Notes in Computer Science book series (LNCS,volume 13498), 2022)
Smart contracts exist immutably on blockchains, making their pre-deployment correctness essential. Moreover, they exist openly on blockchains—open for interaction with any other smart contract and offchain entity. Interaction, ...
Runtime Verification of Kotlin Coroutines
(2022)
Kotlin was introduced to Android as the recommended language for development. One of the unique functionalities of Kotlin is that of coroutines, which are lightweight tasks that can run concurrently inside threads. Programming ...
AspectSol: A Solidity Aspect-Oriented Programming Tool with Applications in Runtime Verification
(International Conference on Runtime Verification, 2022)
Aspect-oriented programming tools aim to provide increased code modularity by enabling programming of cross-cutting concerns separate from the main body of code. Since the inception of runtime verification, aspect-oriented ...
On the Specification and Monitoring of Timed Normative Systems
(2022)
In this article we explore different issues and design choices that arise when considering how to fully embrace timed aspects in the formalisation of normative systems, e.g., by using deontic modalities, looking primarily ...
Model Checking Reconfigurable Interacting Systems
(International Symposium on Leveraging Applications of Formal Methods, 2022)
Reconfigurable multi-agent systems consist of a set of autonomous agents, with integrated interaction capabilities that feature opportunistic interaction. Agents seemingly reconfigure their interactions interfaces by forming ...
Runtime Verification meets Controller Synthesis
(2022)
Reactive synthesis guarantees correct-by-construction controllers from logical specifications, but is costly—2EXPTIME-complete in the size of the specification. In a practical setting, the desired controllers need to ...
R-CHECK: A Model Checker for Verifying Reconfigurable MAS
(AAMAS 2022, 2022)
Reconfigurable multi-agent systems consist of a set of autonomous
agents, with integrated interaction capabilities that feature opportunistic
interaction. Agents seemingly reconfigure their interactions
interfaces by ...