Zobrazeno 1 - 10
of 1 217
pro vyhledávání: '"Symbolic Trajectory Evaluation"'
Publikováno v:
Theories of Programming ISBN: 9781450387286
Theories of Programming
Theories of Programming
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b59dc5e11c06c851d83c82dfb81e6d1f
https://doi.org/10.1145/3477355.3477361
https://doi.org/10.1145/3477355.3477361
Publikováno v:
Technology, Education and Development
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0632689613cb2877ecdebc7838aaf979
http://www.intechopen.com/articles/show/title/learning-network-assisted-by-means-of-symbolic-computation
http://www.intechopen.com/articles/show/title/learning-network-assisted-by-means-of-symbolic-computation
Autor:
Tanmay Haldankar, Dinesh Chhatani, Zurab Khasidashvili, Rakesh Mistry, Carl-Johan H. Seger, Rajkumar Gajavelly, Supratik Chakraborty
Publikováno v:
Formal Methods in System Design. 50:317-352
Symbolic trajectory evaluation (STE) is a model checking technique that has been successfully used to verify many industrial designs. Existing implementations of STE reason at the level of bits, allowing signals in a circuit to take values from a lat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c7bf08bf618cefb0eb5081af648f462c
https://doi.org/10.1007/s10703-017-0268-9
https://doi.org/10.1007/s10703-017-0268-9
Publikováno v:
Integration. 63:1-8
Generalized Symbolic Trajectory Evaluation (GSTE) is an alternative model checking technique based on particular automata to specify the properties. Despite the success of GSTE, its state explosion remains a major hurdle when applying it to large ind
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0de845a6697af741e54474f5a87b39a4
https://doi.org/10.1016/j.vlsi.2018.03.009
https://doi.org/10.1016/j.vlsi.2018.03.009
Autor:
Michael Leuschel, Sebastian Krings
Publikováno v:
Science of Computer Programming. 158:41-63
We have implemented various symbolic model checking algorithms, such as BMC, k-Induction and IC3 for B, Event-B and other modeling languages. The high-level nature of software models accounts for complicated constraints arising in these symbolic anal
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6f0d3df486873c833b994beadaf57c99
https://doi.org/10.1016/j.scico.2017.08.013
https://doi.org/10.1016/j.scico.2017.08.013
Autor:
Aleksandar S. Dimovski
Publikováno v:
Theoretical Computer Science. 706:35-53
Many software systems are today built as program families. They permit users to derive a custom program (variant) by selecting suitable configuration options at compile time according to their requirements. Many such program families are safety criti
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d10af55bb6bad574720d3e83426b68b8
https://doi.org/10.1016/j.tcs.2017.09.029
https://doi.org/10.1016/j.tcs.2017.09.029
Autor:
Alexandre Petrenko
Publikováno v:
Software & Systems Modeling. 18:825-835
After 60 or so years of development, the theory of checking experiments for FSM still continues to attract a lot of attention of research community. One of the reasons is that it offers test generation techniques which under well-defined assumptions
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0bc43f2997c226c7ba1e6b398d0be609
https://doi.org/10.1007/s10270-017-0613-x
https://doi.org/10.1007/s10270-017-0613-x
Publikováno v:
IFAC-PapersOnLine. 50:11251-11256
Hard real-time systems are embedded systems with a strong emphasis on the guaranty of safety-critical properties. In order to provide the necessary confidence level, with regard to the respect of functional and non-functional properties, a system ana
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::643e93a73a3555ed38754402873f450c
https://doi.org/10.1016/j.ifacol.2017.08.1610
https://doi.org/10.1016/j.ifacol.2017.08.1610
Publikováno v:
ACM Transactions on Design Automation of Electronic Systems. 22:1-25
In the field of analog integrated circuit (IC) design, small-signal macromodels play indispensable roles for developing design insight and sizing reference. However, the subject of automatically generating symbolic low-order macromodels in human read
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7329d08689461ed6102e68c01d7de08b
https://doi.org/10.1145/3015782
https://doi.org/10.1145/3015782
Publikováno v:
IEEE Transactions on Software Engineering. 43:252-271
Symbolic execution is a powerful technique for systematically exploring the paths of a program and generating the corresponding test inputs. However, its practical usage is often limited by the path explosion problem, that is, the number of explored
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fb8f15562004d520c2b0ebbb20bd3679
https://doi.org/10.1109/tse.2016.2584063
https://doi.org/10.1109/tse.2016.2584063