Zobrazeno 1 - 10
of 459
pro vyhledávání: '"Software/Program Verification"'
Autor:
Masci, Paolo, Muñoz, César A.
Publikováno v:
EPTCS 310, 2019, pp. 35-49
The steep learning curve of formal technologies is a well-known barrier to the adoption of formal verification tools in industry. This paper presents VSCode-PVS, a modern integrated development environment for the Prototype Verification System (PVS).
Externí odkaz:
http://arxiv.org/abs/1912.10632
Autor:
Igried, Bashar, Setzer, Anton
Publikováno v:
EPTCS 258, 2017, pp. 36-51
CSP-Agda is a library, which formalises the process algebra CSP in the interactive theorem prover Agda using coinductive data types. In CSP-Agda, CSP processes are in monadic form, which sup- ports a modular development of processes. In this paper, w
Externí odkaz:
http://arxiv.org/abs/1709.04714
Publikováno v:
EPTCS 194, 2015, pp. 95-109
Our goal is to provide different semiring-based formal tools for the specification of security requirements: we quantitatively enhance the open-system approach, according to which a system is partially specified. Therefore, we suppose the existence o
Externí odkaz:
http://arxiv.org/abs/1509.08565
Autor:
Bhaduri, Purandar, Ramesh, S.
We survey existing approaches to the formal verification of statecharts using model checking. Although the semantics and subset of statecharts used in each approach varies considerably, along with the model checkers and their specification languages,
Externí odkaz:
http://arxiv.org/abs/cs/0407038
Autor:
Martín Leonardo Larrea
Publikováno v:
Journal of Computer Science and Technology, Vol 17, Iss 01, Pp 37-48 (2017)
The software development process has matured significantly over the past decade. We are currently in a state where the need for the verification and validation of the product under development is unquestionable. Visualizations, as software products,
Externí odkaz:
https://doaj.org/article/ec0024efeb0643058a8461f57c275a3f
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.
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:
Höttger, Robert Martin
This dissertation entitled ’Model-Based Exploration of Parallelism in the Context of Automotive Multi-Core Systems’ deals with the analytical investigation of different temporal relationships for automotive multi-processor systems subject to crit
Autor:
Paolo Masci, César A. Muñoz
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 310, Iss Proc. F-IDE 2019, Pp 35-49 (2019)
F-IDE@FM
F-IDE@FM
The steep learning curve of formal technologies is a well-known barrier to the adoption of formal verification tools in industry. This paper presents VSCode-PVS, a modern integrated development environment for the Prototype Verification System (PVS).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a349cfedca84f5f9d6295058cc3dfe37
https://doaj.org/article/a8e0f44e349a43cba5306f25f83dd88b
https://doaj.org/article/a8e0f44e349a43cba5306f25f83dd88b