4.0.0 hu.bme.mit.theta theta-xta 4.2.4 Theta Xta Xta subproject in the Theta model checking framework https://theta.mit.bme.hu/ The Apache License, Version 2.0 http://www.apache.org/licenses/LICENSE-2.0.txt Gábor Szárnyas https://github.com/szarnyasg Kristóf Marussy https://github.com/kris7t Levente Bajczi https://github.com/leventeBajczi Mihály Dobos-Kovács https://github.com/as3810t Milán Mondok https://github.com/mondokm Dániel Szekeres https://github.com/szdan97 László Radnai https://github.com/radl97 Zsófia Ádám https://github.com/AdamZsofi Vince Molnár https://github.com/vincemolnar Márk Somorjai https://github.com/s0mark Csanád Telbisz https://github.com/csanadtelbisz scm:git:git://github.com/ftsrg/theta.git scm:git:ssh://github.com:ftsrg/theta.git https://theta.mit.bme.hu/ org.antlr antlr4 4.9.2 compile com.google.guava guava 31.1-jre runtime org.fusesource.hawtjni hawtjni-runtime 1.18 runtime org.antlr antlr4-runtime 4.9.2 runtime hu.bme.mit.theta theta-common 4.2.4 runtime hu.bme.mit.theta theta-core 4.2.4 runtime