Zobrazeno 1 - 10
of 118
pro vyhledávání: '"Cunha, Alcino"'
Autor:
Cunha, Alcino
In this paper I discuss how can lightweight formal methods be used to specify and verify software with complex configurations (for example, distributed protocols that work on specific network configurations). More specifically, I briefly present two
Externí odkaz:
http://arxiv.org/abs/2407.13633
This tool paper presents the High-Assurance ROS (HAROS) framework. HAROS is a framework for the analysis and quality improvement of robotics software developed using the popular Robot Operating System (ROS). It builds on a static analysis foundation
Externí odkaz:
http://arxiv.org/abs/2103.01603
Autor:
Mayoral-Vilches, Víctor, Abad-Fernández, Irati, Pinzger, Martin, Rass, Stefan, Dieber, Bernhard, Cunha, Alcino, Rodríguez-Lera, Francisco J., Lacava, Giovanni, Marotta, Angelica, Martinelli, Fabio, Gil-Uriarte, Endika
The reuse of technologies and inherent complexity of most robotic systems is increasingly leading to robots with wide attack surfaces and a variety of potential vulnerabilities. Given their growing presence in public environments, security research i
Externí odkaz:
http://arxiv.org/abs/2010.07759
Publikováno v:
EPTCS 310, 2019, pp. 63-69
Most model checkers provide a useful simulation mode, that allows users to explore the set of possible behaviours by interactively picking at each state which event to execute next. Traditionally this simulation mode cannot take into consideration ad
Externí odkaz:
http://arxiv.org/abs/1912.10634
Autor:
Macedo, Nuno, Cunha, Alcino, Pereira, José, Carvalho, Renato, Silva, Ricardo, Paiva, Ana C. R., Ramalho, Miguel S., Silva, Daniel
We present Alloy4Fun, a web application that enables online editing and sharing of Alloy models and instances, to be used mainly in an educational context. By introducing the notion of secret paragraphs and commands in the models, it also allows the
Externí odkaz:
http://arxiv.org/abs/1907.02275
Publikováno v:
EPTCS 284, 2018, pp. 37-52
Alloy is a lightweight formal specification language, supported by an IDE, which has proven well-suited for reasoning about software design in early development stages. The IDE provides a visualizer that produces graphical representations of analysis
Externí odkaz:
http://arxiv.org/abs/1811.10817
Publikováno v:
In Science of Computer Programming 1 August 2022 220
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.
Autor:
Macedo, Nuno, Cunha, Alcino, Pereira, José, Carvalho, Renato, Silva, Ricardo, Paiva, Ana C.R., Sozinho Ramalho, Miguel, Silva, Daniel
Publikováno v:
In Science of Computer Programming 1 November 2021 211
Autor:
Macedo, Nuno, Cunha, Alcino
Alloy and TLA+ are two formal specification languages that are increasingly popular due to their simplicity and flexibility, as well as the effectiveness of their companion model checkers, the Alloy Analyzer and TLC, respectively. Nonetheless, while
Externí odkaz:
http://arxiv.org/abs/1603.03599