täiskirje prindi

Symbolic Automata: Omega-Regularity Modulo Theories

autor
vastutusandmed
Margus Veanes, Thomas Ball, Gabriel Ebner, Ekaterina Zhuchko
allikas
kirjastus/väljaandja
ACM
ajakirja aastakäik number kuu
vol. 9, POPL
ilmumisaasta
leheküljed
art. 2, p. 33-66 : ill
leitav
ISSN
2475-1421
märkused
Bibliogr.: 112 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
keel
inglise
märksõna
võtmesõna
regular expression
temporal logic
derivative
satisfiability modulo theories
automata
kategooria (üld)
kategooria (alam)
Engineering. Safety, risk, reliability and quality
Tehnika. Ohutus, risk, töökindlus ja kvaliteet
Computer science. Software
Veanes, M., Ball, T., Ebner, G., Zhuchko, E. Symbolic Automata: Omega-Regularity Modulo Theories // Proceedings of the ACM on Programming Languages (2025) vol. 9, POPL, art. 2, p. 33-66 : ill. https://doi.org/10.1145/3704838