Zobrazeno 1 - 10
of 79
pro vyhledávání: '"Regular model checking"'
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.
Conference
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.
Regular model checking is a well-established technique for the verification of infinite-state systems whose configurations can be represented as finite words over a suitable alphabet. It applies to systems whose set of initial configurations is regul
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0caa1793aa047850f6eea29a0c85de56
https://doi.org/10.4230/lipics.concur.2022.23
https://doi.org/10.4230/lipics.concur.2022.23
Autor:
Kotoun, Michal
Mnoho aplikací přijímá, odesílá a zpracovává data v textové podobě. Správné a bezpečné zpracování těchto dat je typicky zajištěno tzv. ošetřením řetězců (string sanitization). Pomocí metod formální verifikace je možné an
Externí odkaz:
http://www.nusl.cz/ntk/nusl-433553
Autor:
Chalk, Matěj
Formal verification methods offer a large potential to provide automated software correctness checking (based on sound mathematical roots), which is of vital importance. One such technique is abstract regular model checking, which encodes sets of rea
Externí odkaz:
http://www.nusl.cz/ntk/nusl-385924
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 233, Iss Proc. MEMICS 2016, Pp 87-93 (2016)
HADES is a fully automated verification tool for pipeline-based microprocessors that aims at flaws caused by improperly handled data hazards. It focuses on single-pipeline microprocessors designed at the register transfer level (RTL) and deals with r
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a8487b60755912aab7dd5b4e3cc94e9b
https://doi.org/10.4204/eptcs.233.9
https://doi.org/10.4204/eptcs.233.9
Kniha
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:
The Journal of Logic and Algebraic Programming. 69(1-2):93-121
Regular model checking is the name of a family of techniques for analyzing infinite-state systems in which states are represented by words, sets of states by finite automata, and transitions by finite-state transducers. In this framework, the central
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a8425cb8477d7cb0b16bbdeb0c4a17a7
Publikováno v:
FMCAD
We revisit the classic problem of proving safety over parameterised concurrent systems, i.e., an infinite family of finite-state concurrent systems that are represented by some finite (symbolic) means. An example of such an infinite family is a dinin
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8be02cbc8621b209c91abb3e1034df95
http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-337299
http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-337299
Autor:
Parosh Aziz Abdulla
Publikováno v:
International Journal on Software Tools for Technology Transfer. 14:109-118
Regular model checking has been studied extensively during recent years as a framework for algorithmic verification of systems with infinite state spaces. We describe the main concepts of the framework, and some of its applications.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::89fbb1d9473d23effc19967ab5a9664e
https://doi.org/10.1007/s10009-011-0216-8
https://doi.org/10.1007/s10009-011-0216-8