Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Filho, Eddie B. de Lima"'
This paper introduces a tool for verifying Python programs, which, using type annotation and front-end processing, can harness the capabilities of a bounded model-checking (BMC) pipeline. It transforms an input program into an abstract syntax tree to
Externí odkaz:
http://arxiv.org/abs/2407.03472
Smart contracts written in Solidity are programs used in blockchain networks, such as Etherium, for performing transactions. However, as with any piece of software, they are prone to errors and may present vulnerabilities, which malicious attackers c
Externí odkaz:
http://arxiv.org/abs/2111.13117
Software debugging is a very time-consuming process, which is even worse for multi-threaded programs, due to the non-deterministic behavior of thread-scheduling algorithms. However, the debugging time may be greatly reduced, if automatic methods are
Externí odkaz:
http://arxiv.org/abs/1509.02490
The software development process for embedded systems is getting faster and faster, which generally incurs an increase in the associated complexity. As a consequence, consumer electronics companies usually invest a lot of resources in fast and automa
Externí odkaz:
http://arxiv.org/abs/1509.01682
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:
2015 Brazilian Symposium on Computing Systems Engineering (SBESC); 2015, p96-101, 6p
