Zobrazeno 1 - 10
of 30
pro vyhledávání: '"Karen Yorav"'
Publikováno v:
Service-Oriented Computing ISBN: 9783030035952
ICSOC
ICSOC
Cloud computing projects require the design of a so-called Cloud Solution, which is an architectural blueprint for a particular cloud environment. A cloud solution defines the hosting infrastructure (servers, VMs, etc.), software stack, and services
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a3a3bce05ac958bcebd5021980af0f65
https://doi.org/10.1007/978-3-030-03596-9_51
https://doi.org/10.1007/978-3-030-03596-9_51
Predicate abstraction is a major method for verification of software. However, the generation of the abstract Boolean program from the set of predicates and the original program suffers from an exponential number of theorem prover calls as well as fr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5f7bafd3b610cc85b93c1f5c7e4cd457
https://ora.ox.ac.uk/objects/uuid:3eff5345-9c17-4437-ac9f-c316b7fffae9
https://ora.ox.ac.uk/objects/uuid:3eff5345-9c17-4437-ac9f-c316b7fffae9
Publikováno v:
Formal Aspects of Component Software ISBN: 9783319289335
FACS
FACS
This work presents a novel approach for applying compositional model checking of behavioral UML models, based on learning. The Unified Modeling Language UML is a widely accepted modeling language for embedded and safety critical systems. As such the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::451acff89e51ca5a73f0ca054f8ed11e
https://doi.org/10.1007/978-3-319-28934-2_15
https://doi.org/10.1007/978-3-319-28934-2_15
Autor:
Karen Yorav
Publikováno v:
International Journal on Software Tools for Technology Transfer. 11:269-272
This special section contains a selection of contributions originally presented at the Third Haifa Verification Conference (HVC’07). The scope of this conference covers all types of verification of both hardware and software systems. While there is
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8484c0731eb5b08a9562167848ec8603
https://doi.org/10.1007/s10009-009-0116-3
https://doi.org/10.1007/s10009-009-0116-3
Publikováno v:
Formal Methods in System Design. 35:40-55
Power gating is a technique for low power design in which whole sections of the chip are powered off when they are not needed, and powered back on when they are. Functional correctness of power gating is usually checked at the system level, where the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::19479244c4c02c12d1868cf9bfd5e758
https://doi.org/10.1007/s10703-009-0077-x
https://doi.org/10.1007/s10703-009-0077-x
Autor:
Ohad Shacham, Karen Yorav
Publikováno v:
Electronic Notes in Theoretical Computer Science. 144(1):35-50
New heuristics and strategies have enabled major advancements in SAT solving in recent years. However, experimentation has shown that there is no winning solution that works in all cases. A degradation of orders of magnitude can be observed if the wr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9c15ed99338c08585111f885019c2e46
Publikováno v:
International Journal on Software Tools for Technology Transfer. 7:61-73
In this paper we discuss the problem of performing distributed CTL model checking by splitting the given state space into several "partial state spaces." The partial state space is modelled as a Kripke structure with border states. Each computer invo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::95a28dc0d96bcfa802931dc35a031115
https://doi.org/10.1007/s10009-004-0163-8
https://doi.org/10.1007/s10009-004-0163-8
Publikováno v:
Formal Methods in System Design. 25:129-166
There has been considerable progress in the domain of software verification over the last few years. This advancement has been driven, to a large extent, by the emergence of powerful yet automated abstraction techniques such as predicate abstraction.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::19b37f870d1122c3a08de7372d8edfad
https://doi.org/10.1023/b:form.0000040026.56959.91
https://doi.org/10.1023/b:form.0000040026.56959.91
Autor:
Orna Grumberg, Karen Yorav
Publikováno v:
Formal Methods in System Design. 25:67-96
In this paper we present two methods that use static analysis of parallel programs to create reduced models for them. Our algorithms examine the control-flow graph of a program (the syntax) and create a smaller transition system than would have been
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::72f1a744a81eea87d1427d0bc14d396b
https://doi.org/10.1023/b:form.0000033963.55470.9e
https://doi.org/10.1023/b:form.0000033963.55470.9e
Publikováno v:
International Journal on Software Tools for Technology Transfer. 6:174-182
The task of finding a set of test sequences that provides good coverage of industrial circuits is infeasible because of the size of the circuits. For small critical subcircuits of the design, however, designers can create a set of test sequences that
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::35d29f085c78a800dec8c0527d2dd70d
https://doi.org/10.1007/s10009-004-0142-0
https://doi.org/10.1007/s10009-004-0142-0