Zobrazeno 1 - 10
of 151
pro vyhledávání: '"Prototype Verification System"'
Publikováno v:
Journal of Formalized Reasoning, Vol 11, Iss 1, Pp 19-41 (2018)
This paper presents a formally verified decision procedure for determinining the satisfiability of a system of univariate polynomial relations over the real line. The procedure combines a root counting function, based on Sturm’s theorem, with an in
Externí odkaz:
https://doaj.org/article/bcbf412e899646639ad423271e64b5bf
Autor:
Victor Zhora, Oleksandr Synetskyi
Publikováno v:
Technology Audit and Production Reserves, Vol 2, Iss 2(58), Pp 41-45 (2021)
The object of research is the information and telecommunication system (ITS) and ensuring the protection of information stored, processed and circulating in it. One of the most problematic areas in the creation of secure ITS is the logical inconsiste
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c7789ca9280a212a6ae183b165be137c
http://journals.uran.ua/tarp/article/view/229539
http://journals.uran.ua/tarp/article/view/229539
Autor:
François Bobot, Aaron Dutle, Gregory Anderson, César A. Muñoz, Laura Titolo, Mariano M. Moscato
Publikováno v:
Formal Aspects of Computing. 33:65-86
The Automatic Dependent Surveillance-Broadcast (ADS-B) system allows aircraft to communicate current state information, including position and velocity messages, to other aircraft in their vicinity and to ground stations. The Compact Position Reporti
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2e3e0ca0e88b9eeb85c33c1332f476f5
https://doi.org/10.1007/s00165-019-00504-0
https://doi.org/10.1007/s00165-019-00504-0
Publikováno v:
ThEdu@IJCAR
This work discusses an approach to teach to mathematicians the importance and effectiveness of the application of Interactive Theorem Proving tools in their specific fields of interest. The approach aims to motivate the use of such tools through shor
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6b29c4cc1b5012b10a121fb8211e736d
https://doi.org/10.4204/eptcs.328.1
https://doi.org/10.4204/eptcs.328.1
Publikováno v:
IEEE Access, Vol 8, Pp 119806-119818 (2020)
Interactive theorem provers (ITPs) are software tools that allow human users to write and verify formal proofs. In recent years, an emerging research area in ITPs is proof mining, which consists of identifying interesting proof patterns that can be u
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b9c63b6cac79ec241c063f4a449143d1
https://doi.org/10.1109/access.2020.3004199
https://doi.org/10.1109/access.2020.3004199
Autor:
Andrea Domenici, Cinzia Bernardeschi
Publikováno v:
F-IDE@NFM
This paper describes a procedure that system developers can follow to translate typical mathematical representations of linearized control systems into logic theories. These theories are then used to verify system requirements and find constraints on
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8a3c8c5466ffc24365794084daed3543
http://arxiv.org/abs/2108.02964
http://arxiv.org/abs/2108.02964
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
Publikováno v:
Repositório Científico de Acesso Aberto de Portugal
Repositório Científico de Acesso Aberto de Portugal (RCAAP)
instacron:RCAAP
Repositório Científico de Acesso Aberto de Portugal (RCAAP)
instacron:RCAAP
The paper describes templates for model-based analysis of usability and safety aspects of user interface software design. The templates crystallize general usability principles commonly addressed in user-centred safety requirements, such as the abili
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::51063e53ede2ca0431591b9240526a83
https://doi.org/10.1109/tse.2018.2804939
https://doi.org/10.1109/tse.2018.2804939
Publikováno v:
Repositório Científico de Acesso Aberto de Portugal
Repositório Científico de Acesso Aberto de Portugal (RCAAP)
instacron:RCAAP
Repositório Científico de Acesso Aberto de Portugal (RCAAP)
instacron:RCAAP
This paper presents a methodology, with supporting tool, for formal modeling and analysis of software components in cyber-physical systems. Using our approach, developers can integrate a simulation of logic-based specifications of software components
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d141855645c449b16abcb7e388554265
https://doi.org/10.1109/tse.2017.2694423
https://doi.org/10.1109/tse.2017.2694423
Publikováno v:
Computers & Industrial Engineering. 161:107672
With the further intelligent upgrading of industry 4.0, the intelligent manufacturing ecosystem based on CPS is realized in the form of Intelligent unit, Intelligent system and System of system. Under the open workshop architecture, intelligent works
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::db7dd4791418be4763b5f2a29a338f6d
https://doi.org/10.1016/j.cie.2021.107672
https://doi.org/10.1016/j.cie.2021.107672