Login / Signup
Theta: Abstraction Based Techniques for Verifying Concurrency (Competition Contribution).
Levente Bajczi
Csanád Telbisz
Márk Somorjai
Zsófia Ádám
Mihály Dobos-Kovács
Dániel Szekeres
Milán Mondok
Vince Molnár
Published in:
TACAS (3) (2024)
Keyphrases
</>
high level
concurrency control
worst case
database systems
machine learning
learning algorithm
e learning
knowledge base
expert systems
evolutionary algorithm
programming language
software systems
distributed databases
transaction processing
decision theoretic planning
dynamic allocation