Theta: Abstraction Based Techniques for Verifying Concurrency (Competition Contribution).

Mon, 01 Jan 2024 00:00:00 +0100

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 :
Theta: Abstraction Based Techniques for Verifying Concurrency (Competition Contribution). TACAS (3) 2024: 412-417