Modeling and Verifying Concurrent Reactive Systems Using Separation Logic.

Huan Sun, David Sann, Jun Sun, Wenhai Wang

Browse the full ICFEM paper archive.