Symbolic Automata: Omega-Regularity Modulo Theories
author
Veanes, Margus
Ball, Thomas
Ebner, Gabriel
Zhuchko, Ekaterina
statement of authorship
Margus Veanes, Thomas Ball, Gabriel Ebner, Ekaterina Zhuchko
source
Proceedings of the ACM on Programming Languages
publisher
ACM
journal volume number month
vol. 9, POPL
year of publication
2025
pages
art. 2, p. 33-66 : ill
url
https://doi.org/10.1145/3704838
subject term
tuletised (matemaatika)
moodulid (matemaatika)
keyword
regular expression
temporal logic
derivative
satisfiability modulo theories
automata
ISSN
2475-1421
notes
Bibliogr.: 112 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
1.1
Scopus
https://www.scopus.com/sourceid/21101020042
https://www.scopus.com/pages/publications/85215705975?origin=resultslist
WOS
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=P%20ACM%20PROGRAM%20LANG&year=2024
https://www.webofscience.com/wos/woscc/full-record/WOS:001470367300019
category (general)
Engineering
Tehnika
Computer science
Arvutiteadus
category (sub)
Engineering. Safety, risk, reliability and quality
Tehnika. Ohutus, risk, töökindlus ja kvaliteet
Computer science. Software
Arvutiteadus. Tarkvara
TalTech department
tarkvarateaduse instituut
language
inglise