Cargando…
Towards String Support in JayHorn (Competition Contribution)
JayHorn is a Horn clause-based model checker for Java programs that has been competing at SV-COMP since 2019. An ongoing research and implementation effort is to add support for String data-type to JayHorn. Since current Horn solvers do not support strings natively, we consider a representation of (...
Autores principales: | Shamakhi, Ali, Hojjat, Hossein, Rümmer, Philipp |
---|---|
Formato: | Online Artículo Texto |
Lenguaje: | English |
Publicado: |
2021
|
Materias: | |
Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7984604/ http://dx.doi.org/10.1007/978-3-030-72013-1_29 |
Ejemplares similares
-
Mirror-mediated string-pulling task in Eurasian jays (Garrulus glandarius)
por: Baciadonna, Luigi, et al.
Publicado: (2021) -
Western scrub-jays (Aphelocoma californica) solve multiple-string problems by the spatial relation of string and reward
por: Hofmann, M. M., et al.
Publicado: (2016) -
The not-so-blue jays
por: Prescod-Weinstein, Chanda
Publicado: (2020) -
Stephen Jay Gould /
por: Gould, Stephen Jay
Publicado: (2004) -
Chamber music for horns, wind and strings
por: Beethoven, Ludwig van, 1770-1827
Publicado: (1995)