Parameterized verification of asynchronous shared-memory systems

Esparza, Javier and Ganty, Pierre and Majumdar, Rupak
(2013) Parameterized verification of asynchronous shared-memory systems.
In: Proc. of the 25th International Conference on Computer Aided Verification (CAV 2013).
Conference: CAV - Computer Aided Verification

Full text not available from this repository.

Actions

Actions (login required)

View Item View Item