Zobrazeno 1 - 10
of 69
pro vyhledávání: '"k-induction"'
Autor:
Shichen Zhang, Kai Li
Publikováno v:
Applied Sciences, Vol 13, Iss 1, p 322 (2022)
Density peaks clustering (DPC) algorithm can process data of any shape and is simple and intuitive. However, the distance between any two high-dimensional points tends to be consistent, which makes it difficult to distinguish the density peaks and ea
Externí odkaz:
https://doaj.org/article/0ab862e568b1441db04cb6f6099ebb07
Publikováno v:
Graph Transformation
The behavior of various kinds of dynamic systems can be formalized using typed attributed graph transformation systems (GTSs). The states of these systems are then modelled using graphs and the evolution of the system from one state to another is des
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=pmc_________::5e39d872499dfe920939f4694d59a1d5
http://europepmc.org/articles/PMC7314960
http://europepmc.org/articles/PMC7314960
Autor:
Beyer, Dirk, Dangl, Matthias
Publikováno v:
Tools and Algorithms for the Construction and Analysis of Systems
Property-directed reachability (PDR) is a SAT/SMT-based reachability algorithm that incrementally constructs inductive invariants. After it was successfully applied to hardware model checking, several adaptations to software model checking have been
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=pmc_________::b6323a1b89fe805419eefef5386e1eb6
http://europepmc.org/articles/PMC7439737
http://europepmc.org/articles/PMC7439737
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.
Publikováno v:
Pedersen, S G & Haxthausen, A E 2020, Model Checking a Distributed Interlocking System Using k-induction with RT-Tester . in Leveraging Applications of Formal Methods, Verification and Validation: Applications . Springer, Lecture Notes in Computer Science, vol. 12478, pp. 449-466, International Symposium On Leveraging Applications of Formal Methods, Verification and Validation 2020, Greece, 20/10/2020 . https://doi.org/10.1007/978-3-030-61467-6_29
This paper investigates the use of k-induction with RT-Tester for tackling the challenge of verifying the safety of a distributed railway interlocking system. For a real-world case study, it is described how a generic and reconfigurable model of the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1202::293e0949e82796b4cfe542539cd8ee3d
https://orbit.dtu.dk/en/publications/e9a850f5-0043-4d36-9ee0-b8eedc466b03
https://orbit.dtu.dk/en/publications/e9a850f5-0043-4d36-9ee0-b8eedc466b03
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.
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.
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:
Baud-Berthier, Guillaume
Le développement de circuits électroniques et de systèmes logiciels critiques pour le ferroviaire ou l’avionique, par exemple, demande à être systématiquement associé à un processus de vérification formelle permettant de garantir l’exhau
Externí odkaz:
http://www.theses.fr/2018BORD0147/document