EmergenTheta: Verification Beyond Abstraction Refinement (Competition Contribution).

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

Levente Bajczi , Dániel Szekeres , Milán Mondok , Zsófia Ádám , Márk Somorjai , Csanád Telbisz , Mihály Dobos-Kovács , Vince Molnár :
EmergenTheta: Verification Beyond Abstraction Refinement (Competition Contribution). TACAS (3) 2024: 371-375