Zobrazeno 1 - 10
of 165
pro vyhledávání: '"Orna Grumberg"'
Publikováno v:
International Journal on Software Tools for Technology Transfer. 24:667-689
We present Assume-Guarantee-Repair (AGR)—a novel framework which verifies that a program satisfies a set of properties and also repairs the program in case the verification fails. We consider communicating programs—these are simple C-like program
Publikováno v:
Proceedings 2023 Workshop on Binary Analysis Research.
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783031223365
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9bb707ed14e70bd139238c4f25ad06c0
https://doi.org/10.1007/978-3-031-22337-2_25
https://doi.org/10.1007/978-3-031-22337-2_25
Model checking is a technique for verifying finite state concurrent systems such as sequential circuit designs and communication protocols. It has a number of advantages over traditional approaches that are based on simulation, testing, and deductive
Publikováno v:
Journal of Automated Reasoning. 63:1077-1101
Data-parameterized systems model systems with finite control over an infinite data domain. VLTL is an extension of LTL that uses variables in order to specify properties of computations over infinite data, and as such, VLTL is suitable for specifying
Publikováno v:
Formal Aspects of Computing. 30:571-595
Model checking is a successful approach for verifying hardware and software systems. Despite its success, the technique suffers from the state explosion problem which arises due to the large state space of real-life systems. One solution to the state
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030670665
VMCAI
VMCAI
Hyperproperties lift conventional trace properties in a way that describes how a system behaves in its entirety, and not just based on its individual traces. We generalize this notion to multi-properties, which describe the behavior of not just a sin
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1e0a044b1d0d704851e7186934ff1696
https://doi.org/10.1007/978-3-030-67067-2_4
https://doi.org/10.1007/978-3-030-67067-2_4
Publikováno v:
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783030451899
TACAS (1)
TACAS (1)
We present Assume-Guarantee-Repair (AGR) – a novel framework which not only verifies that a program satisfies a set of properties, but also repairs the program in case the verification fails. We consider communicating programs – these are simple
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c563548618a9038784c2d8f6ed50c042
https://doi.org/10.1007/978-3-030-45190-5_12
https://doi.org/10.1007/978-3-030-45190-5_12
Autor:
Orna Grumberg, Bat-Chen Rothenberg
Publikováno v:
Computer Aided Verification ISBN: 9783030532901
CAV (2)
CAV (2)
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4a14e63cb66575dabff141969d86b449
https://doi.org/10.1007/978-3-030-53291-8_33
https://doi.org/10.1007/978-3-030-53291-8_33
Publikováno v:
CNS
Open Shortest Path First (OSPF) is one of the most widely deployed interior gateway routing protocols on the Internet. It allows routers to calculate their routing tables within a cluster of networks - an autonomous system (AS). An attacker that leve