On-the-Fly Cone-of-Influence Reduction for Model Checking Concurrent Software.

Wed, 01 Jan 2025 00:00:00 +0100

Csanád Telbisz , Levente Bajczi , Dániel Szekeres , András Vörös :
On-the-Fly Cone-of-Influence Reduction for Model Checking Concurrent Software. SPIN 2025: 161-181