Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Luis F. LLana"'
Autor:
Jose J. Paulet, Luis F. LLana, Hernán Indíbil Calvo, Mauro Mezzini, Fernando Cuartero, Fernando L. Pelayo
Publikováno v:
Mathematics, Vol 11, Iss 8, p 1888 (2023)
The SAT problem is maybe one of the most famous NP-complete problems. This paper deals with the 3-SAT problem. We follow a sort of incremental strategy to save computational costs with respect to the classical quantum computing approach. We present a
Externí odkaz:
https://doaj.org/article/9d4ea93bb2ed459fb489125de18a5c97
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540341840
TestCom
TestCom
In order to test the correctness of an IUT (implementation under test) with respect to a specification, testing its whole behavior is desirable but unfeasible. In some situations, testing the behavior of the IUT assuming that it is stimulated by a gi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0e129bc87862d2881389f571efb2e872
https://doi.org/10.1007/11754008_6
https://doi.org/10.1007/11754008_6
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540462194
FORTE
FORTE
In order to check the conformance of an IUT (implementation under test) with respect to a specification, it is not feasible, in general, to test the whole set of IUT available behaviors. In some situations, testing the behavior of the IUT assuming th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a443f626b6ec63e07a7dcf137adfd21b
https://doi.org/10.1007/11888116_33
https://doi.org/10.1007/11888116_33
Publikováno v:
Scopus-Elsevier
We present a new testing semantics, called friendly testing, whose main property is that the induced preorder between processes ⊑fr is consistent with the conformance relation, and so we have, for instance,a ⊕b ⊑fr a ⊑fr a +b. The new theory
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e639a498e0d7a90ea4a06deae50c5286
http://www.scopus.com/inward/record.url?eid=2-s2.0-11544330313&partnerID=MN8TOARS
http://www.scopus.com/inward/record.url?eid=2-s2.0-11544330313&partnerID=MN8TOARS