Zobrazeno 1 - 10
of 336
pro vyhledávání: '"Sampaio, Augusto"'
Local analysis has long been recognised as an effective tool to combat the state-space explosion problem. In this work, we propose a method that systematises the use of local analysis in the verification of deadlock freedom for concurrent and distrib
Externí odkaz:
http://arxiv.org/abs/2207.08854
Smart contracts are the building blocks of the "code is law" paradigm: the smart contract's code indisputably describes how its assets are to be managed - once it is created, its code is typically immutable. Faulty smart contracts present the most si
Externí odkaz:
http://arxiv.org/abs/2205.07529
Autor:
Jesus, Joabe, Sampaio, Augusto
Publikováno v:
In Science of Computer Programming September 2024 236
We propose inheritance and refinement relations for a CSP-based component model (BRIC), which supports a constructive design based on composition rules that preserve classical concurrency properties such as deadlock freedom. The proposed relations al
Externí odkaz:
http://arxiv.org/abs/2005.10295
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
In Journal of Arid Environments May 2022 200
Automation and consistency analysis of test cases written in natural language: An industrial context
Publikováno v:
In Science of Computer Programming 1 April 2020 189
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.